RISC JKU

The Theorema System

Version Info & History

September 13 2022 18:15v2.0.0-205
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.