Automated generation of geometry proof problems based on point geometry identity
From MaRDI portal
Publication:6552506
DOI10.1007/S10817-024-09699-1MaRDI QIDQ6552506
Jian-Wen Sun, Lei Li, Sannyuya Liu, Zhonghua Yan, Zong-Kai Yang, Mao Chen, Xicheng Peng
Publication date: 10 June 2024
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
point geometryautomated discovery of geometric theoremsautomated generation of problemsgeometry proof problempoint geometry identity
Could not fetch data.
Cites Work
- Title not available (Why is that?)
- 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
- On protocols for the automated discovery of theorems in elementary geometry
- Plane geometry theorem proving using forward chaining
- A deductive database approach to automated geometry theorem proving and discovering
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity
- Automatic discovery of theorems in elementary geometry
- A review and prospect of readable machine proofs for geometry theorems
- Automated discovery of geometric theorems based on vector equations
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
This page was built for publication: Automated generation of geometry proof problems based on point geometry identity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6552506)
