Pages that link to "Item:Q914413"
From MaRDI portal
The following pages link to The parallel numerical method of mechanical theorem proving (Q914413):
Displaying 5 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
