author = {B. Buchberger},
title = {{Theorema: Extending Mathematica by Automated Proving}},
language = {english},
year = {2001},
month = {September 27-28},
annote = {2001-09-27-A},
note = {(Electronic proceedings edited by D. Bosanac, D. Ungar, pp. 10-11, ISBN 953-6076-71-3). Invited talk at PrimMath 2001 (The Programming System Mathematica in Science, Technology and Teaching), University of Zagreb, Electrotechnical and Computer Science Faculty},
keywords = {formal text in Theorema, logicographic symbols, PCS prover, set theory prover, induction prover, cascade, Groebner bases prover, combinatorial identities prover, functors},
conferencename = {PrimMath 2001 (The Programming System Mathematica in Science, Technology and Teaching), University of Zagreb, Electrotechnical and Computer Science Faculty}