Ritt-Wu's decomposition algorithm and geometry theorem proving
From MaRDI portal
Publication:6488532
DOI10.1007/3-540-52885-7_89zbMath1509.68303MaRDI QIDQ6488532
Shang-Ching Chou, Xiao-Shan Gao
Publication date: 28 April 2023
Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08) Computational real algebraic geometry (14Q30)
Related Items (5)
A Direttissimo Algorithm for Equidimensional Decomposition ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Cites Work
- Proving geometry theorems with rewrite rules
- Basic principles of mechanical theorem proving in elementary geometries
- Wu's method and its application to perspective viewing
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Ritt-Wu's decomposition algorithm and geometry theorem proving
