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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 139 articles , 4 standard articles )

Showing results 1 to 20 of 139.
Sorted by year (citations)

1 2 3 ... 5 6 7 next

  1. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (2019)
  2. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  3. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  4. Kurtanidze, Lia; Rukhaia, Mikheil: Skolemization in unranked logics (2018)
  5. Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
  6. 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)
  7. Johansson, Moa: Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (2017)
  8. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  9. Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian: Quick specifications for the busy programmer (2017)
  10. Buchberger, Bruno: The GDML and eukim projects: short report on the initiative (2016)
  11. Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang: Theorema 2.0: computer-assisted natural-style mathematics (2016)
  12. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Proof-based synthesis of sorting algorithms for trees (2016)
  13. 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)
  14. Maletzky, Alexander: Interactive proving, higher-order rewriting, and theory analysis in Theorema 2.0 (2016)
  15. Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
  16. Drămnesc, Isabela; Jebelean, Tudor: Synthesis of list algorithms by mechanical proving (2015)
  17. 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)
  18. Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko: Formalizing polygonal knot origami (2015)
  19. Maletzky, Alexander: Automated reasoning in reduction rings using the Theorema system (2015)
  20. Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno: Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates (2015)

1 2 3 ... 5 6 7 next


Further publications can be found at: http://www.risc.jku.at/publications/