The following pages link to (Q4232513):
Displaying 6 items.
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Simplification of Cylindrical Algebraic Formulas (Q3454537) (← links)
- (Q4234240) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)