about welcome! the castle of hagenberg partners conferences media how to reach us contact certificates | people | publications | projects | research algebraic geometry description members seminar publications software algorithm theory description members seminar publications algorithmic combinatorics description members seminar publications software events links computer algebra description members seminar publications software formal methods description members seminar publications software parallel/distributed computing description members seminar projects publications software theorema description members seminar publications software events | education courses phd program theses risc moodle | industry internal my risc my mail my personal data my publications my library my allocations my teaching forum talks risc wiki risc portal risc mailing lists sysadmin user info quick guide complete guide system administration equipment rooms image archive media archive > research > theorema >  description  |  members  |  seminar  |  publications  |  software  |  events    search:    sitemap

The Theorema System

Theorema: A System for Computer Supported Mathematical Theorem Proving and Theory Exploration

Example proofs Generated by Theorema

Theorema on the Web

Example Computations for Boundary Problems in Theorema

The Theorema language allows to integrate computations (“programming”) along with mathematical theorem proving as another crucial ingredient of theory exploration. As an example, we have coded an operator-based algorithm for computing Green's operators for linear boundary problems (both ODEs and simple PDEs) directly in a Theorema notebook. Our approach relies on a noncommutative Gröbner basis that describes the relations of the basic analysis operators appearing in boundary problems; see our article for details.

System Information

Theorema is based on Mathematica and is working on all machines that support Mathematica. Mathematica version 4.0 or later is needed in order to run the Theorema system. The latest version Theorema 1.6alpha also runs with Mathematica 6.0.

Download Theorema

Downloading the Theorema system is free of charge!
Please complete the following form and press the "Next >" button below in order to proceed to the download area:

Name
Affiliation
Email

Privacy Statement We record your data, in particular your email address, only to inform you on new developments of the Theorema software. By downloading the Theorema software you agree to receive email on that matter in the future. We will not forward any of your personal data to third parties or use it for other purposes than described on these pages.

---

Maintained by Webmaster.
© Research Institute for Symbolic Computation.