Representation and automated transformation of geometric statements
DOI10.1007/S11424-014-0316-0zbMATH Open1314.68301OpenAlexW2110271642MaRDI QIDQ488928FDOQ488928
Authors: Xiao-Yu Chen 
Publication date: 27 January 2015
Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11424-014-0316-0
Recommendations
- Realization of automatic reasoning system of geometry based on point-eliminating method
- Towards an Electronic Geometry Textbook
- scientific article; zbMATH DE number 4187179
- Errata: Maintenance of Geometric Representations Through Space Decompositions
- Maintenance of Geometric Representations Through Space Decompositions
equivalent transformationautomated diagram drawingformalized geometric statementsgeometric automated theorem proving
Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Cites Work
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Geometry constructions language
- Automated Deduction in Geometry
- Automated Deduction in Geometry
- Automated reasoning in geometry
- GeoThms -- a web system for Euclidean constructive geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Optik mit GeoGebra
- GEOTHER: A geometry theorem prover
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Cross-Curriculum Search for Intergeo
- Mathematical Knowledge Management
Cited In (10)
- Retrieving geometric information from images: the case of hand-drawn diagrams
- Title not available (Why is that?)
- Current Status of the I2GATP Common Format
- Automated deduction and knowledge management in geometry
- Automated Deduction in Geometry
- Title not available (Why is that?)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
- Automatic Deduction in an AI Geometry Book
- Towards an intelligent and dynamic geometry book
- Electronic Geometry Textbook: a geometric textbook knowledge management system
Uses Software
This page was built for publication: Representation and automated transformation of geometric statements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488928)
