Pages that link to "Item:Q6488532"
From MaRDI portal
The following pages link to Ritt-Wu's decomposition algorithm and geometry theorem proving (Q6488532):
Displaying 11 items.
- A method for the mechanical derivation of formulas in elementary geometry (Q1099656) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← 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)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- (Q3490991) (← links)
- A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals (Q3598000) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- A signature-based algorithm for computing the nondegenerate locus of a polynomial system (Q6108370) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
- Square-free pure triangular decomposition of zero-dimensional polynomial systems (Q6594999) (← links)
