History


Theorema

A System for Computer Supported Mathematical Theorem Proving and Theory Exploration 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.

Submitted September 9, 2015 published


Theorema

A System for Computer Supported Mathematical Theorem Proving and Theory Exploration Theorema was conceived and initiated around 1995 by [Bruno Buchberger](http://www.risc.jku.at/home/buchberg) 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.

Submitted September 9, 2015 superseded