The following pages link to (Q4391217):
Displaying 10 items.
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371) (← links)
- Interval arithmetic in cylindrical algebraic decomposition (Q1864882) (← links)
- Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211) (← links)
- Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
- Exact, efficient, and complete arrangement computation for cubic curves (Q2507159) (← links)
- Simplification of Cylindrical Algebraic Formulas (Q3454537) (← links)
- (Q3696510) (← links)
- (Q4391219) (← links)
- (Q4437589) (← links)