References in zbMATH (referenced in 92 articles )

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

1 2 3 4 5 next

  1. Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter: Relational characterisations of paths (2020)
  2. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  3. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  4. Kunčar, Ondřej; Popescu, Andrei: A consistent foundation for Isabelle/HOL (2019)
  5. Maletzky, Alexander: Formalization of Dubé’s degree bounds for Gröbner bases in Isabelle/HOL (2019)
  6. Marić, Filip: Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (2019)
  7. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  8. Nipkow, Tobias; Brinkop, Hauke: Amortized complexity verified (2019)
  9. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  10. Wenzel, Makarius: Interaction with formal mathematical documents in Isabelle/PIDE (2019)
  11. Mendes, Alexandra; Ferreira, João F.: Towards verified handwritten calculational proofs (short paper) (2018)
  12. Meßner, Florian; Parsert, Julian; Schöpf, Jonas; Sternagel, Christian: A formally verified solver for homogeneous linear Diophantine equations (2018)
  13. Müller, Dennis; Rabe, Florian; Kohlhase, Michael: Theories as types (2018)
  14. Parsert, Julian; Kaliszyk, Cezary: Towards formal foundations for game theory (2018)
  15. Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe: Formalizing Bachmair and Ganzinger’s ordered resolution prover (2018)
  16. Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke: A formally verified proof of the central limit theorem (2017)
  17. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  18. Kunčar, Ondřej; Popescu, Andrei: Comprehending Isabelle/HOL’s consistency (2017)
  19. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  20. Arthan, Rob: On definitions of constants and types in HOL (2016)

1 2 3 4 5 next