author = {B. Buchberger},
title = {{Using Mathematica for Doing Simple Mathematical Proofs}},
language = {english},
year = {1996},
month = {November 2},
annote = {1996-11-02-A},
note = {Invited talk at 4th Mathematica Users' Conference, Tokyo, (in Proceedings pp. 80-96, Wolfram Media Publishing)},
conferencename = {4th Mathematica Users' Conference, Tokyo, (in Proceedings pp. 80-96, Wolfram Media Publishing)}