Representation and automated transformation of geometric statements

DOI10.1007/S11424-014-0316-0MaRDI QIDQ488928zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

equivalent transformationautomated diagram drawingformalized geometric statementsgeometric automated theorem proving

Mathematics Subject Classification ID

Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

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

Cites work

• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3266283 (Why is no real title available?)
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated reasoning in geometry
• Cross-Curriculum Search for Intergeo
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• GCLC -- a tool for constructive Euclidean geometry and more than that
• GEOTHER: A geometry theorem prover
• GeoThms -- a web system for Euclidean constructive geometry
• Geometry constructions language
• Mathematical Knowledge Management
• Optik mit GeoGebra

Cited in

(10)

• Current status of the I2GATP common format
• Automatic Deduction in an AI Geometry Book
• Automated deduction and knowledge management in geometry
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 4102515 (Why is no real title available?)
• scientific article; zbMATH DE number 7317237 (Why is no real title available?)
• Discovering geometric theorems from scanned and photographed images of diagrams
• Towards an intelligent and dynamic geometry book

Describes a project that uses

Uses Software

• GCLC
• GEOTHER 1.1
• GeoGebra
• SymbolicData
• GCLCprover
• GeoThms
• Electronic Geometry Textbook
• Intergeo
• TGTP

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)