Invited talk

The Theorema Project: An Overview

Bruno Buchberger
Research Institute for Symbolic Computation (RISC)

The Theorema Project aims at integrating proving support into computer algebra systems. The emphasis is on proof generation for routine parts of proofs, structured proof presentation in natural language, and smooth interaction with the existing solving and computing facilities of computer algebra systems. Our present system frame is Mathematica 3.0.

We will first give an overview on the Theorema Project and then present more details about the following aspects of the system:

The talk will be illustrated by demos.