author = {B. Buchberger},
title = {{Using Mathematica for Doing Simple Mathematical Proofs}},
booktitle = {{Proceedings of the 4th Mathematica Users' Conference, Tokyo, November 2, 1996.}},
language = {english},
pages = {80--96},
publisher = {Copyright: Wolfram Media Publishing},
isbn_issn = {-},
year = {1996},
annote = {1996-11-02-A},
editor = {-},
refereed = {yes},
length = {5}