scientific article
From MaRDI portal
Publication:3438379
zbMath1129.01001MaRDI QIDQ3438379
Publication date: 15 May 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (16)
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
This page was built for publication:
