References in zbMATH (referenced in 21 articles )

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

1 2 next

  1. Dunne, Ciarán; Wells, J. B.; Kamareddine, Fairouz: Generating custom set theories with non-set structured objects (2021)
  2. Proroković, Krsto; Wand, Michael; Schmidhuber, Jürgen: Improving stateful premise selection with transformers (2021)
  3. Carneiro, Mario: Metamath Zero: designing a theorem prover prover (2020)
  4. Vlasov, Dmitriĭ Yur’evich: Proof search algorithm in pure logical framework (2020)
  5. Critch, Andrew: A parametric, resource-bounded generalization of Löb’s theorem, and a robust cooperation criterion for open-source game theory (2019)
  6. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  7. Zhan, Bohua: Formalization of the fundamental group in untyped set theory using auto2 (2019)
  8. Avron, Arnon; Cohen, Liron: Applicable mathematics in a minimal computational theory of sets (2018)
  9. Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen: Programming and verifying a declarative first-order prover in Isabelle/HOL (2018)
  10. Acewicz, Marcin; Pąk, Karol: Pell’s equation (2017)
  11. Ford, Ian: Semantic representation of general topology in the Wolfram language (2017)
  12. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  13. Zhan, Bohua: Formalization of the fundamental group in untyped set theory using auto2 (2017)
  14. Blanchette, Jasmin C.; Kaliszyk, Cezary; Paulson, Lawrence C.; Urban, Josef: Hammering towards QED (2016)
  15. Carneiro, Mario M.: Conversion of HOL Light proofs into Metamath (2016)
  16. Vlasov, D. Yu.: Smm, the simplified metamath (2012)
  17. Wiedijk, Freek: Pollack-inconsistency (2012)
  18. Wiedijk, Freek: A synthesis of the procedural and declarative styles of interactive theorem proving (2012)
  19. Vlasov, D. Yu.: The language of formal mathematics Russell (2011)
  20. Wiedijk, Freek (ed.): The seventeen provers of the world. Foreword by Dana S. Scott.. (2005)

1 2 next