An Introduction to Java Geometry Expert

DOI10.1007/978-3-642-21046-4_10zbMATH Open1302.68247OpenAlexW1431497170MaRDI QIDQ3003235FDOQ3003235

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

zbMATH Keywords

Geometry Theorem ProvingPlane GeometryPythagoras' TheoremVisually Dynamic Presentation

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04)

Cited In (18)

• A review and prospect of readable machine proofs for geometry theorems
• Taxonomies of geometric problems
• Measuring the readability of geometric proofs: the area method case
• The Relation Tool in GeoGebra 5
• Automated theorem proving in GeoGebra: current achievements
• Automated deduction and knowledge management in geometry
• Automated generation of illustrated proofs in geometry and beyond
• Formalization of the arithmetization of Euclidean plane geometry and applications
• JGEX
• Automatic Deduction in an AI Geometry Book
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Formalization of Wu’s Simple Method in Coq
• Automated generation of illustrations for synthetic geometry proofs
• Online generation of proofs without words
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• Towards a geometry deductive database prover
• Towards an intelligent and dynamic geometry book
• Rewriting input expressions in complex algebraic geometry provers

Uses Software

• GEX

This page was built for publication: An Introduction to Java Geometry Expert

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003235)