An introduction to Java geometry expert. (Extended abstract)
From MaRDI portal
Publication:3003235
DOI10.1007/978-3-642-21046-4_10zbMATH Open1302.68247OpenAlexW1431497170MaRDI QIDQ3003235FDOQ3003235
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
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 (26)
- A review and prospect of readable machine proofs for geometry theorems
- Taxonomies of geometric problems
- Title not available (Why is that?)
- Measuring the readability of geometric proofs: the area method case
- The Relation Tool in GeoGebra 5
- Automated theorem proving in GeoGebra: current achievements
- 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
- Title not available (Why is that?)
- Towards a geometry deductive database prover
- Towards an intelligent and dynamic geometry book
- TOWARDS WEB-BASED COMPUTING
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Rewriting input expressions in complex algebraic geometry provers
- jReality, jtem, and Oorange -- a way to do math with computers
Uses Software
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)
