RISC JKU

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:

Name
Affiliation
Email
Version
Privacy Statement
We record your data, in particular your email address, only to inform you on new developments of the Theorema software.
By downloading the Theorema software you agree to receive email on that matter in the future.
We will not forward any of your personal data to third parties or use it for other purposes than described on these pages.