author = {B. Buchberger},
title = {{Schichten in der Automatisierung der Mathematik (Layers in the Automation of Mathematics)}},
language = {english},
year = {2001},
month = {January 25},
annote = {2001-01-25-A},
note = {Invited talk at Workshop "Symbolic Computation"},
organization = {Technical University Vienna, Institut fuer Simulation},
conferencename = {Workshop "Symbolic Computation"}