Pages that link to "Item:Q2765682"
From MaRDI portal
The following pages link to Mechanical geometry theorem proving (Q2765682):
Displaying 15 items.
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A new approach for automatic theorem proving in real geometry (Q1272610) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Mechanical proof of planimetric theorems of rational type (Q2017773) (← links)
- (Q2716051) (← links)
- (Q4384625) (← links)
- Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
- Automated Deduction in Geometry (Q5902023) (← links)
- Automated Deduction in Geometry (Q5902024) (← links)
- Automated Deduction in Geometry (Q5902031) (← links)