The Theorema System

Version Info & History

December 23 2019 14:17v2.0.0-194
June 2014Theorema 2.0
1998 – 2010Theorema 1.x

A System for Computer Supported Mathematical Theorem Proving and Theory Exploration

About Theorema

Theorema was conceived and initiated around 1995 by Bruno Buchberger and reflects his view of "doing mathematics". It is being developed under his guidance by the Theorema Working Group at the Research Institute for Symbolic Computation, Johannes Kepler University, Linz – Hagenberg, Austria. Theorema 2.0 is a major re-launch mainly developed by Wolfgang Windsteiger.

Maintained by Webmaster.
© Research Institute for Symbolic Computation.