Pages that link to "Item:Q805606"
From MaRDI portal
The following pages link to Transcendental functions and mechanical theorem proving in elementary geometries (Q805606):
Displayed 4 items.
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Algebraic factoring and geometry theorem proving (Q5210786) (← links)
- ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275) (← links)