author = {B. Buchberger},
title = {{Theorema: Theorem Proving for the Masses Using Mathematica}},
language = {english},
year = {1998},
month = {June 20},
annote = {1998-06-00-A},
note = {Invited talk at Worldwide Mathematica Conference, Chicago, USA, (Available as SFB Report No. 98-04, Johannes Kepler University Linz, Spezialforschungsbereich F013, June, 1998, 27 pages.)},
conferencename = {Worldwide Mathematica Conference, Chicago, USA, (Available as SFB Report No. 98-04, Johannes Kepler University Linz, Spezialforschungsbereich F013, June, 1998, 27 pages.)}