Bruno Buchberger,
"Theorema: Using Mathematica for Doing Simple Mathematical Proofs"
, 7-1997, B. Buchberger, International Mathematica Symposium, Helsinki
Original Titel:
Theorema: Using Mathematica for Doing Simple Mathematical Proofs
Sprache des Titels:
Englisch
Erscheinungsmonat:
7
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, International Mathematica Symposium, Helsinki