Automated development of Tarski's geometry
From MaRDI portal
Publication:1825046
DOI10.1007/BF00245024zbMath0683.68082OpenAlexW2011928646MaRDI QIDQ1825046
Publication date: 1989
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00245024
Related Items
Proof-checking Euclid, A review and prospect of readable machine proofs for geometry theorems, Automated deduction and knowledge management in geometry, Constructivity in Geometry, Mechanical Theorem Proving in Tarski’s Geometry, Constructibility and Geometry, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, A common axiom set for classical and intuitionistic plane geometry, The problem of choosing the type of subsumption to use, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
Uses Software
