Bruno Buchberger, Tudor Jebelean, Daniela Dupre, Franz Kriftner, Mircea Marin, Eleana Tomuta,
"A Survey of the Theorema Project"
: Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii), 1997, Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), ACM Press 1997
Original Titel:
A Survey of the Theorema Project
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii)
Erscheinungsjahr:
1997
Notiz zum Zitat:
Proceedings of ISSAC497 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), ACM Press 1997
Forschungs-