References in zbMATH (referenced in 104 articles , 2 standard articles )

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

1 2 3 4 5 6 next

  1. Buchberger, Bruno: The GDML and eukim projects: short report on the initiative (2016)
  2. Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
  3. Drămnesc, Isabela; Jebelean, Tudor: Synthesis of list algorithms by mechanical proving (2015)
  4. Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko: Formalizing polygonal knot origami (2015)
  5. Maletzky, Alexander: Automated reasoning in reduction rings using the Theorema system (2015)
  6. Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno: Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates (2015)
  7. Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène: Enabling symbolic and numerical computations in HOL light (2015)
  8. Dasgupta, Gautam: Locking-free compressible quadrilateral finite elements: Poisson’s ratio-dependent vector interpolants (2014)
  9. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  10. Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène: Formal analysis of optical systems (2014)
  11. Windsteiger, Wolfgang: Theorema 2.0: a system for mathematical theory exploration (2014)
  12. 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)
  13. Lange, Christoph; Rowat, Colin; Kerber, Manfred: The formare project -- formal mathematical reasoning in economics (2013)
  14. Buchberger, Bruno; Rosenkranz, Markus: Transforming problems from analysis to algebra: a case study in linear boundary problems (2012)
  15. Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
  16. Wiedijk, Freek: A synthesis of the procedural and declarative styles of interactive theorem proving (2012)
  17. Johansson, Moa; Dixon, Lucas; Bundy, Alan: Conjecture synthesis for inductive theories (2011)
  18. Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang: Using Theorema in the formalization of theoretical economics (2011)
  19. Ranta, Aarne: Translating between language and logic: what is easy and what is difficult (2011)
  20. Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag: A coherent logic based geometry theorem prover capable of producing formal and readable proofs (2011)

1 2 3 4 5 6 next


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