Bruno Buchberger,
"Proving, Solving, Computing. A Language Environment Based on Mathematica"
, 1997, B. Buchberger; in the First International Theorema Workshop (RISC-Report 97-20)
Original Titel:
Proving, Solving, Computing. A Language Environment Based on Mathematica
Sprache des Titels:
Englisch
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger; in the First International Theorema Workshop (RISC-Report 97-20)