Theorema
The software system Theorema provides a uniform logic and software technologic frame for proving, solving, and simplifying formulae in all areas of mathematics. Theorema is developed at the Research Institute for Symbolic Computation (RISC), Austria.
This software is also referenced in ORMS.

Keywords for this software
References in zbMATH (referenced in 133 articles , 3 standard articles )
Showing results 1 to 20 of 133.
Sorted by year (- Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (2019)
- Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
- Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
- Geuvers, Herman (ed.); England, Matthew (ed.); Hasan, Osman (ed.); Rabe, Florian (ed.); Teschke, Olaf (ed.): Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17--21, 2017. Proceedings (2017)
- Johansson, Moa: Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (2017)
- Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
- Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian: Quick specifications for the busy programmer (2017)
- Buchberger, Bruno: The GDML and eukim projects: short report on the initiative (2016)
- Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Proof-based synthesis of sorting algorithms for trees (2016)
- Greuel, Gert-Martin (ed.); Koch, Thorsten (ed.); Paule, Peter (ed.); Sommese, Andrew (ed.): Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings (2016)
- Maletzky, Alexander: Interactive proving, higher-order rewriting, and theory analysis in Theorema 2.0 (2016)
- Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
- Drămnesc, Isabela; Jebelean, Tudor: Synthesis of list algorithms by mechanical proving (2015)
- Gerdt, Vladimir P. (ed.); Koepf, Wolfram (ed.); Seiler, Werner M. (ed.); Vorozhtsov, Evgenii V. (ed.): Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings (2015)
- Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko: Formalizing polygonal knot origami (2015)
- Maletzky, Alexander: Automated reasoning in reduction rings using the Theorema system (2015)
- Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno: Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates (2015)
- Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène: Enabling symbolic and numerical computations in HOL light (2015)
- Buchberger, Bruno; Maletzky, Alexander: Groebner bases in Theorema (2014)
- Dasgupta, Gautam: Locking-free compressible quadrilateral finite elements: Poisson’s ratio-dependent vector interpolants (2014)
Further publications can be found at: http://www.risc.jku.at/publications/