Automated Deduction in Geometry
From MaRDI portal
Publication:5493316
DOI10.1007/11615798zbMath1159.68556OpenAlexW4293020873MaRDI QIDQ5493316
Laura I. Meikle, Jacques D. Fleuriot
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11615798
Related Items
Verification of Closest Pair of Points Algorithms, Design and formal proof of a new optimal image segmentation program with hypermaps, A verified ODE solver and the Lorenz attractor, Formal specification and proofs for the topology and classification of combinatorial surfaces, Ham-sandwich cuts for abstract order types, Designing and proving correct a convex hull algorithm with hypermaps in Coq, Formalization of the Poincaré disc model of hyperbolic geometry, Mechanical Theorem Proving in Tarski’s Geometry, An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time, Combining Isabelle and QEPCAD-B in the Prover’s Palette, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
Uses Software
