Pages that link to "Item:Q2017773"
From MaRDI portal
The following pages link to Mechanical proof of planimetric theorems of rational type (Q2017773):
Displaying 4 items.
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
- An algorithm for solving a family of fourth-degree Diophantine equations that satisfy Runge's condition (Q2027843) (← links)
- Applications of the barycentric coordinates in mechanical proving of the geometry theorems (Q3982553) (← links)
- Automated Deduction in Geometry (Q5902023) (← links)