RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

The Theorema System

Version Info & History

July 5 2017 10:42v2.0.0-173
June 2014Theorema 2.0
1998 – 2010Theorema 1.x

A System for Computer Supported Mathematical Theorem Proving and Theory Exploration

Theorema Download

If you only want to use Theorema then just download the Theorema package (Mathematica code). Note however, that you cannot contribute changes to the project if you only have the Mathematica package.

If instead you want to contribute to the project, please use the Git repository.


Maintained by Webmaster.
© Research Institute for Symbolic Computation.