Ritt-Wu's decomposition algorithm and geometry theorem proving

DOI10.1007/3-540-52885-7_89MaRDI QIDQ6488532zbMATH OpenFDO

Authors Shang-Ching Chou, Xiao-Shan Gao

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_89

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 4164173
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• scientific article; zbMATH DE number 589122
• Parameterized computational geometry via decomposition theorems
• scientific article; zbMATH DE number 3926285
• scientific article; zbMATH DE number 4070626
• A generalized Euclidean algorithm for geometry theorem proving

Cites work

• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• scientific article; zbMATH DE number 3970886 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• Basic principles of mechanical theorem proving in elementary geometries
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• Proving geometry theorems with rewrite rules
• Wu's method and its application to perspective viewing

Cited in

(15)

• Geometry machines: from AI to SMC
• A syzygial method for equidimensional decomposition
• A method for the mechanical derivation of formulas in elementary geometry
• Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
• scientific article; zbMATH DE number 4164173 (Why is no real title available?)
• Square-free pure triangular decomposition of zero-dimensional polynomial systems
• A Direttissimo Algorithm for Equidimensional Decomposition
• A signature-based algorithm for computing the nondegenerate locus of a polynomial system
• Algebraic factoring and geometry theorem proving
• Towards automated proving in solid geometry
• scientific article; zbMATH DE number 800143 (Why is no real title available?)
• Decomposition of polynomial sets into characteristic pairs
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
• A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals

This page was built for publication: Ritt-Wu's decomposition algorithm and geometry theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488532)