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
]
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
