@misc{RISC2687,
author = {B. Buchberger},
title = {{Theorema: A Proving System Based on Mathematica}},
language = {english},
year = {1999},
month = {August 18},
annote = {1999-08-18-A},
note = {Contributed talk at International Symposium on Symbolic and Numeric Scientific Computing, RISC, Hagenberg, Austria},
conferencename = {International Symposium on Symbolic and Numeric Scientific Computing, RISC, Hagenberg, Austria}
}