The following pages link to (Q4232513):
Displayed 4 items.
- On using Lazard's projection in CAD construction (Q492024) (← 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)