Representation and automated transformation of geometric statements

DOI10.1007/s11424-014-0316-0zbMath1314.68301OpenAlexW2110271642MaRDI QIDQ488928

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

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

Related Items

Current Status of the I2GATP Common Format, Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams, Towards an intelligent and dynamic geometry book, Retrieving geometric information from images: the case of hand-drawn diagrams, Automated deduction and knowledge management in geometry

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Geometry constructions language
• GeoThms — a Web System for Euclidean Constructive Geometry
• Optik mit GeoGebra
• Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
• GEOTHER: A geometry theorem prover
• Cross-Curriculum Search for Intergeo
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Mathematical Knowledge Management
• Automated Deduction in Geometry
• Automated Deduction in Geometry