Publication:3438379
From MaRDI portal
zbMath1129.01001MaRDI QIDQ3438379
Publication date: 15 May 2007
HilbertlogicEucliddiagramsElementscomputerized diagrammatic Euclidean geometry (CDEG)formal geometry (FG)
Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of geometry (51-03)
Related Items
Proof-checking Euclid, Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, Operationalism: an interpretation of the philosophy of ancient Greek geometry, The twofold role of diagrams in Euclid's plane geometry, Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders, On the inconsistency of Mumma's Eu, Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond, Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry, Unnamed Item, Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning, Computational complexity of diagram satisfaction in Euclidean geometry, Proofs, pictures, and Euclid, Unnamed Item, Cognitive artifacts for geometric reasoning, The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu, A FORMAL SYSTEM FOR EUCLID’SELEMENTS