The following pages link to (Q3438379):
Displayed 16 items.
- The twofold role of diagrams in Euclid's plane geometry (Q375269) (← links)
- On the inconsistency of Mumma's Eu (Q424577) (← links)
- Proofs, pictures, and Euclid (Q707897) (← 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)
- Cognitive artifacts for geometric reasoning (Q2289702) (← links)
- The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' (Q2330505) (← links)
- Computational complexity of diagram satisfaction in Euclidean geometry (Q2489144) (← 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)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q4561129) (← links)
- (Q5065124) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders (Q6098765) (← links)