An introduction to Java geometry expert. (Extended abstract)
From MaRDI portal
Publication:3003235
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
Cited In (21)
- 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
- 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
- Title not available (Why is that?)
- Towards a geometry deductive database prover
- Towards an intelligent and dynamic geometry book
- TOWARDS WEB-BASED COMPUTING
- Rewriting input expressions in complex algebraic geometry provers
Uses Software
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 👍 👎
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)
