Pages that link to "Item:Q1924738"
From MaRDI portal
The following pages link to Elimination procedures for mechanical theorem proving in geometry (Q1924738):
Displaying 6 items.
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra (Q5505483) (← links)
