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

Showing results 1 to 20 of 99.
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/