=ADD=
=reftype=
14
=number=
99-45
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-45.tar.gz
=year=
1999
=month=
12
=author=
Buchberger; Bruno + Dupre; Claudio + Jebelean; Tudor + Kriftner; Franz + Nakagawa; Koji + Vasaru; Daniela + Windsteiger; Wolfgang
=title=
Theorema: A Short Demo
=abstract=
The Theorema system is a system for proving, solving, and simplifying
mathematical formulae. It is programmed in the Mathematica language,
version 3.0 or later, and also heavily uses the front-end of Mathematica.
Theorema can therefore be used on all machines on which Mathematica,
version 3.0 or later, is installed.
Theorema is being developed by the Theorema Working Group at the RISC
institute under the direction of Bruno Buchberger. The current members of the
Theorema Working Group are B. Buchberger, C. Dupre, F.Kriftner, T. Jebelean,
K. Nakagawa, D. Vasaru, and W.Windsteiger.
The Theorema demo presented in this notebook demonstrates the most important
functionalities of Theorema Version 1.0 (1999). I used this demo 1999 in a
couple of talks on Theorema at various occasions. The varying parts of these
talks, emphasizing various different aspects of the system,  are contained in
extra files (which will soon be available over the web) and refer to this file
for the demo part.
This .nb file can be read if you have Mathematica installed on your machine.
If not, you can read the postscript version Theorema-Demo-1999.ps of this file.
If you are an alpha tester of Theorema you can execute and play with the commands given in this file.
Currently, we do not accept any more alpha testers. The beta version of Theorema will most probably
be released in Fall 2000. If you want to be informed about the release, i.e. if you want to become a beta
tester, please, write to Theorema@Theorema.org.
=sponsor=
SFB/FWF project F1302
=keywords=
automated reasoning