Advanced Topics in Automated Reasoning

Summer semester 2008.

Survey papers on the Theorema system:

• ISSAC 1997
• Calculemus 2000
• Journal of Applied Logic 2006

Examples of use of the Theorema system:

• Theorema demo (gzipped directory with Mathematica notebooks).
• demo propositional logic (Mathematica notebook).
• Case-Study-Irrationality.nb.
  • proof-sqrt2-version0-complete.nb.
  • proof-sqrt2-version1-complete.nb.
  • proof-sqrt2-version2-complete.nb.

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.