Theorema Package Download
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.
Please complete the following form and press the "Next >" button below in
order to proceed to the package download area: