author = {B. Buchberger},}
title = {{Algorithm Synthesis by Failing Correctness Proofs}},
language = {english},
year = {2003},
month = {December 5},
annote = {2003-12-05-A},
note = {Invited colloquium talk at Mathematisches Institut, Universitaet Muenchen},
institution = {Mathematisches Institut, Universitaet Muenchen}