References in zbMATH (referenced in 96 articles )

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

1 2 3 4 5 next

  1. Maletzky, Alexander: A generic and executable formalization of signature-based Gröbner basis algorithms (2021)
  2. Simić, Danijela; Marić, Filip; Boutry, Pierre: Formalization of the Poincaré disc model of hyperbolic geometry (2021)
  3. Xu, Runqing; Li, Liming; Zhan, Bohua: Verified interactive computation of definite integrals (2021)
  4. Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter: Relational characterisations of paths (2020)
  5. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  6. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  7. Kunčar, Ondřej; Popescu, Andrei: A consistent foundation for Isabelle/HOL (2019)
  8. Maletzky, Alexander: Formalization of Dubé’s degree bounds for Gröbner bases in Isabelle/HOL (2019)
  9. Marić, Filip: Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (2019)
  10. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  11. Nipkow, Tobias; Brinkop, Hauke: Amortized complexity verified (2019)
  12. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  13. Wenzel, Makarius: Interaction with formal mathematical documents in Isabelle/PIDE (2019)
  14. Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen: Programming and verifying a declarative first-order prover in Isabelle/HOL (2018)
  15. Mendes, Alexandra; Ferreira, João F.: Towards verified handwritten calculational proofs (short paper) (2018)
  16. Meßner, Florian; Parsert, Julian; Schöpf, Jonas; Sternagel, Christian: A formally verified solver for homogeneous linear Diophantine equations (2018)
  17. Müller, Dennis; Rabe, Florian; Kohlhase, Michael: Theories as types (2018)
  18. Parsert, Julian; Kaliszyk, Cezary: Towards formal foundations for game theory (2018)
  19. Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe: Formalizing Bachmair and Ganzinger’s ordered resolution prover (2018)
  20. Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke: A formally verified proof of the central limit theorem (2017)

1 2 3 4 5 next