An Introduction to Java Geometry Expert
From MaRDI portal
Publication:3003235
DOI10.1007/978-3-642-21046-4_10zbMath1302.68247OpenAlexW1431497170MaRDI QIDQ3003235
Shang-Ching Chou, Zheng Ye, Xiao-Shan Gao
Publication date: 26 May 2011
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21046-4_10
Related Items
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry ⋮ Automated theorem proving in GeoGebra: current achievements ⋮ The Relation Tool in GeoGebra 5 ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Automatic Deduction in an AI Geometry Book ⋮ Measuring the readability of geometric proofs: the area method case ⋮ Automated generation of illustrated proofs in geometry and beyond ⋮ Towards an intelligent and dynamic geometry book ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Automated deduction and knowledge management in geometry ⋮ JGEX ⋮ Formalization of Wu’s Simple Method in Coq ⋮ Taxonomies of geometric problems
Uses Software
