Pages that link to "Item:Q1101255"
From MaRDI portal
The following pages link to Proving geometry theorems with rewrite rules (Q1101255):
Displaying 17 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm (Q1311408) (← links)
- Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)