Mathematica 9 is now available

Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Computer Supported Mathematical Theory Exploration: A Shift of Paradigm in Mathematical Software
Author

Bruno Buchberger
Organization: Johannes Kepler University
Department: RISC-Linz
Conference

2004 Mathematica Gulf Conference
Conference location

Muscat, Oman
Description

Mathematica Technology (Theorema)
See related item for download.
Subject

*Mathematica Technology
Related items

*Computer-Supported Mathematical Theory Exploration   [in MathSource: Packages and Programs]