This document is better viewed as Mathematica notebook.
If you do not have an installation of Mathematica 3.0, then you can
download MathReader (http://www.wri.com/mathreader) free of charge.

==========================================


Title
============
Theorema: A Short Demo



Authors
============
Bruno Buchberger, C. Dupre', T. Jebelean, K. Kriftner
K. Nakagawa, D. Vasaru,  W. Windsteiger.



Abstract
============
The Theorema system is a system for proving, solving, and simplifying mathematic
al formulae.
It is programmed in the Mathematica language, version 3.0 or later, and also hea
vily 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 Th
eorema
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 fun
ctionalities of  
Theorema Version 1.0 (1999). I used this demo 1999 in a couple of talks on Theor
ema at 
various occasions. The varying parts of these talks, emphasizing various differe
nt 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.
==========================================