An introduction to Java geometry expert. (Extended abstract)

DOI10.1007/978-3-642-21046-4_10MaRDI QIDQ3003235zbMATH OpenOpenAlexFDO

Authors Zheng Ye, Shang-Ching Chou, 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)

Recommendations

• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• GeoThms -- a web system for Euclidean constructive geometry
• Computer proofs in plane geometry
• Towards an Electronic Geometry Textbook
• GCLC -- a tool for constructive Euclidean geometry and more than that

Cited in

(28)

• A review and prospect of readable machine proofs for geometry theorems
• A touch-operation-based dynamic geometry system: design and implementation
• Taxonomies of geometric problems
• scientific article; zbMATH DE number 2086737 (Why is no real title available?)
• Automated theorem proving in GeoGebra: current achievements
• Measuring the readability of geometric proofs: the area method case
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Automated deduction and knowledge management in geometry
• Automated generation of illustrated proofs in geometry and beyond
• Formalization of Wu's simple method in Coq
• Formalization of the arithmetization of Euclidean plane geometry and applications
• JGEX
• Towards an Electronic Geometry Textbook
• Automatic Deduction in an AI Geometry Book
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• 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
• scientific article; zbMATH DE number 1961548 (Why is no real title available?)
• Towards an intelligent and dynamic geometry book
• Towards a geometry deductive database prover
• TOWARDS WEB-BASED COMPUTING
• GCLC -- a tool for constructive Euclidean geometry and more than that
• The relation tool in GeoGebra 5
• Rewriting input expressions in complex algebraic geometry provers
• Considerations on approaches and metrics in automated theorem generation/finding in geometry
• jReality, jtem, and Oorange -- a way to do math with computers

Describes a project that uses

Uses Software

• GEX

This page was built for publication: An introduction to Java geometry expert. (Extended abstract)

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