Pages that link to "Item:Q3559773"

The following pages link to Formalizing Hilbert’s Grundlagen in Isabelle/Isar (Q3559773):

Displaying 20 items.

• The area method. A recapitulation (Q437042) (← links)
• A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
• A proof-centric approach to mathematical assistants (Q865648) (← links)
• Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
• Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
• Bridging the gap between argumentation theory and the philosophy of mathematics (Q2271079) (← links)
• Diagrams in mathematics (Q2289698) (← links)
• Formalizing complex plane geometry (Q2354913) (← links)
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• A graphical user interface for formal proofs in geometry (Q2462636) (← links)
• From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
• Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
• Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
• Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics (Q2950042) (← links)
• An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time (Q3102743) (← links)
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
• What is a proof? (Q5301851) (← links)
• Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)