Pages that link to "Item:Q1902978"
From MaRDI portal
The following pages link to The axioms of constructive geometry (Q1902978):
Displaying 32 items.
- A constructive real projective plane (Q265603) (← links)
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- The area method. A recapitulation (Q437042) (← links)
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- A constructive theory of ordered affine geometry (Q1279729) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Constructivity in Geometry (Q2757990) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Automating Theories in Intuitionistic Logic (Q3655199) (← links)
- A resolution theorem prover for intuitionistic logic (Q4647496) (← links)
- Organization and development of a constructive axiomatization (Q4647586) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
