Proving geometry theorems with rewrite rules
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3362561 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- Graded algebras of global dimension 3
- Non-negative integer basis algorithms for linear equations with integer coefficients
Cited in
(24)- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Self-evident automated geometric theorem proving based on complex number identity
- A generalized Euclidean algorithm for geometry theorem proving
- Rewriting input expressions in complex algebraic geometry provers
- Geometric theorem proving by integrated logical and algebraic reasoning
- Mechanical geometry theorem proving based on Gröbner bases
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- On the application of Buchberger's algorithm to automated geometry theorem proving
- 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
- Limits of theory sequences over algebraically closed fields and applications.
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- A Geometric Procedure with Prover9
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Using geometric rewrite rules for solving geometric problems symbolically
- Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- scientific article; zbMATH DE number 4187179 (Why is no real title available?)
- Proving and rewriting
- Automatic deduction in (dynamic) geometry: Loci computation
- A refutational approach to geometry theorem proving
- Geometry machines: from AI to SMC
- Wu's method and its application to perspective viewing
- Proof-checking Euclid
This page was built for publication: Proving geometry theorems with rewrite rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101255)
