References in zbMATH (referenced in 133 articles , 3 standard articles )

Showing results 1 to 20 of 133.
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. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  3. Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
  4. 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)
  5. Johansson, Moa: Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (2017)
  6. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  7. Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian: Quick specifications for the busy programmer (2017)
  8. Buchberger, Bruno: The GDML and eukim projects: short report on the initiative (2016)
  9. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Proof-based synthesis of sorting algorithms for trees (2016)
  10. 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)
  11. Maletzky, Alexander: Interactive proving, higher-order rewriting, and theory analysis in Theorema 2.0 (2016)
  12. Maletzky, Alexander: Mathematical theory exploration in Theorema: reduction rings (2016)
  13. Drămnesc, Isabela; Jebelean, Tudor: Synthesis of list algorithms by mechanical proving (2015)
  14. 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)
  15. Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko: Formalizing polygonal knot origami (2015)
  16. Maletzky, Alexander: Automated reasoning in reduction rings using the Theorema system (2015)
  17. Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno: Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates (2015)
  18. Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène: Enabling symbolic and numerical computations in HOL light (2015)
  19. Buchberger, Bruno; Maletzky, Alexander: Groebner bases in Theorema (2014)
  20. Dasgupta, Gautam: Locking-free compressible quadrilateral finite elements: Poisson’s ratio-dependent vector interpolants (2014)

1 2 3 ... 5 6 7 next


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