Pages that link to "Item:Q3454743"
From MaRDI portal
The following pages link to Improved projection for CAD's of R <sup>3</sup> (Q3454743):
Displaying 3 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space (Q1105370) (← links)