author = {B. Buchberger},
title = {{Theorema: Theorem Proving for the Masses Using Mathematica}},
language = {english},
number = {98-04},
year = {1998},
month = {June},
annote = {1998-06-00-A},
note = {Worldwide Mathematica Conference, Chicago, USA, June 20, 1998},
howpublished = {SFB Report},
institution = {Johannes Kepler University Linz, Spezialforschungsbereich F013},
length = {27}