Pages that link to "Item:Q5850985"
From MaRDI portal
The following pages link to A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985):
Displaying 46 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The twofold role of diagrams in Euclid's plane geometry (Q375269) (← links)
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- Human diagrammatic reasoning and seeing-as (Q375272) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Informal proofs and mathematical rigour (Q603900) (← links)
- Proofs, pictures, and Euclid (Q707897) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Open texture and mathematics (Q1982002) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Euclid's common notions and the theory of equivalence (Q2152377) (← links)
- Operationalism: an interpretation of the philosophy of ancient Greek geometry (Q2154005) (← links)
- Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond (Q2219025) (← links)
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning (Q2255228) (← links)
- Inconsistency in mathematics and the mathematics of inconsistency (Q2263045) (← links)
- Carroll's infinite regress and the act of diagramming (Q2288282) (← links)
- Cognitive artifacts for geometric reasoning (Q2289702) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Three-dimensional affine spatial logics (Q2688870) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q4561129) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 (Q5378563) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING (Q5737966) (← links)
- Why did Euclid not need the Pasch axiom? (Q6121100) (← links)
- The material reasoning of folding paper (Q6182766) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
