Automated Deduction in Geometry
From MaRDI portal
Publication:5493316
DOI10.1007/11615798zbMath1159.68556MaRDI 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
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
Related Items
Verification of Closest Pair of Points Algorithms, Mechanical Theorem Proving in Tarski’s Geometry, Combining Isabelle and QEPCAD-B in the Prover’s Palette, Formal specification and proofs for the topology and classification of combinatorial surfaces, Designing and proving correct a convex hull algorithm with hypermaps in Coq, A verified ODE solver and the Lorenz attractor, Ham-sandwich cuts for abstract order types, Formalization of the Poincaré disc model of hyperbolic geometry, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry, Design and formal proof of a new optimal image segmentation program with hypermaps, An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time
Uses Software