References in zbMATH (referenced in 143 articles , 4 standard articles )

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

1 2 3 ... 6 7 8 next

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

1 2 3 ... 6 7 8 next


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