Tudor Jebelean,
"Theorema: A system for the working mathematician. Software demonstration"
: ISSAC 02 International Symposium for Symbolic and Algebraic Computation, 7-2002, ISBN: 1-58113-582-3, T. Jebelean
Theorema: A system for the working mathematician. Software
demonstration.
ISSAC'02 (International Symposium for Symbolic and Algebraic
Computation, Lille, France, July 2002). The abstract of the talk and the
software demo are published electronically on the CD-ROM accompanying the
proceedings (ACM Press, ISBN 1-58113-582-3).
Original Titel:
Theorema: A system for the working mathematician. Software demonstration
Sprache des Titels:
Englisch
Original Buchtitel:
ISSAC 02 International Symposium for Symbolic and Algebraic Computation
Erscheinungsmonat:
7
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Jebelean
Theorema: A system for the working mathematician. Software
demonstration.
ISSAC'02 (International Symposium for Symbolic and Algebraic
Computation, Lille, France, July 2002). The abstract of the talk and the
software demo are published electronically on the CD-ROM accompanying the
proceedings (ACM Press, ISBN 1-58113-582-3).