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

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

1 2 3 ... 6 7 8 next

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

1 2 3 ... 6 7 8 next


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