author = {B. Buchberger},
title = {{Automated Algorithm Synthesis: Implementation in Theorema}},
language = {english},
year = {2008},
month = {April 18-19},
annote = {2008-04-18-A},
note = {Invited talk at Austria-Japan Workshop on Symbolic Computation and Software Verification},
institution = {Graduate School of Informatics, Kyoto},
conferencename = {Austria-Japan Workshop on Symbolic Computation and Software Verification}