Pages that link to "Item:Q2439882"
From MaRDI portal
The following pages link to A review and prospect of readable machine proofs for geometry theorems (Q2439882):
Displaying 7 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
