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 146 articles , 4 standard articles )

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

1 2 3 ... 6 7 8 next

  1. Drămnesc, Isabela; Jebelean, Tudor: Synthesis of sorting algorithms using multisets in \textitTheorema (2021)
  2. Dundua, Besik; Kutsia, Temur; Marin, Mircea: Variadic equational matching in associative and commutative theories (2021)
  3. Kahl, Wolfram: Calculational relation-algebraic proofs in the teaching tool \textscCalcCheck (2020)
  4. Carette, Jacques; Farmer, William M.: Towards specifying symbolic computation (2019)
  5. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (2019)
  6. Dundua, Besik; Kutsia, Temur; Marin, Mircea: Variadic equational matching (2019)
  7. Johansson, Moa: Lemma discovery for induction. A survey (2019)
  8. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  9. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  10. Kurtanidze, Lia; Rukhaia, Mikheil: Skolemization in unranked logics (2018)
  11. Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
  12. 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)
  13. Johansson, Moa: Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (2017)
  14. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  15. Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian: Quick specifications for the busy programmer (2017)
  16. Buchberger, Bruno: The GDML and EuKIM projects: short report on the initiative (2016)
  17. Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang: Theorema 2.0: computer-assisted natural-style mathematics (2016)
  18. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Proof-based synthesis of sorting algorithms for trees (2016)
  19. 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)
  20. Kohlhase, Michael; Rabe, Florian: QED reloaded: towards a pluralistic formal library of mathematical knowledge (2016)

1 2 3 ... 6 7 8 next


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