author = {B. Buchberger},
title = {{Theorema: Using Mathematica for Doing Simple Mathematical Proofs}},
language = {english},
year = {1997},
month = {July 1},
annote = {1997-07-01-A},
note = {Invited talk at International Mathematica Symposium, Helsinki, Finnland. (Per Teleconferencing.)},
conferencename = {International Mathematica Symposium, Helsinki, Finnland. (Per Teleconferencing.)}