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

June 2014: Theorema 2.0
1998 – 2010: Theorema 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.