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 100 articles , 2 standard articles )

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

1 2 3 4 5 next

  1. Buchberger, Bruno: The GDML and eukim projects: short report on the initiative (2016)
  2. Maletzky, Alexander: Interactive proving, higher-order rewriting, and theory analysis in Theorema 2.0 (2016)
  3. Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
  4. Drămnesc, Isabela; Jebelean, Tudor: Synthesis of list algorithms by mechanical proving (2015)
  5. Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko: Formalizing polygonal knot origami (2015)
  6. Maletzky, Alexander: Automated reasoning in reduction rings using the Theorema system (2015)
  7. Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno: Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates (2015)
  8. Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène: Enabling symbolic and numerical computations in HOL light (2015)
  9. Dasgupta, Gautam: Locking-free compressible quadrilateral finite elements: Poisson’s ratio-dependent vector interpolants (2014)
  10. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  11. Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène: Formal analysis of optical systems (2014)
  12. Windsteiger, Wolfgang: Theorema 2.0: a system for mathematical theory exploration (2014)
  13. Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang: A qualitative comparison of the suitability of four theorem provers for basic auction theory (2013)
  14. Lange, Christoph; Rowat, Colin; Kerber, Manfred: The formare project -- formal mathematical reasoning in economics (2013)
  15. Zeilberger, Doron: Towards a symbolic computational philosophy (and methodology!) for mathematics (2013)
  16. Buchberger, Bruno; Rosenkranz, Markus: Transforming problems from analysis to algebra: a case study in linear boundary problems (2012)
  17. Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
  18. Wiedijk, Freek: A synthesis of the procedural and declarative styles of interactive theorem proving (2012)
  19. Ghourabi, Fadoua; Ida, Tetsuo; Kasem, Asem: Proof documents for automated origami theorem proving (2011)
  20. Johansson, Moa; Dixon, Lucas; Bundy, Alan: Conjecture synthesis for inductive theories (2011)

1 2 3 4 5 next


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