** Advanced Topics in Automated Reasoning**

Summer semester 2008.

Survey papers on the Theorema system:

Examples of use of the Theorema system:

- Theorema demo (gzipped directory with Mathematica notebooks).
- demo propositional logic (Mathematica notebook).
- Case-Study-Irrationality.nb.

This material is copyrighted and is available only for the students of this lecture and only for the purpose of study related to it.

For viewing the Mathematica notebooks one may use the Mathematica Player (free of charge),

Users of Mathematica can download the Theorema system in order to try out the examples.

T. Jebelean