The following pages link to (Q4391219):
Displaying 7 items.
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space (Q1105370) (← links)
- Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Improving Enclosure of Interval Scalar Projection Operation (Q4628486) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Cylindrical algebraic decomposition using local projections (Q6487176) (← links)