Bruno Buchberger, Tudor Jebelean,
"Application of Mathematica for Proof Training"
, 7-1997, B. Buchberger, T. Jebelean; IMACS Workshop on Applied Computer Algebra, Maui, Hawaii
Original Titel:
Application of Mathematica for Proof Training
Sprache des Titels:
Englisch
Erscheinungsmonat:
7
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, T. Jebelean; IMACS Workshop on Applied Computer Algebra, Maui, Hawaii