Pages that link to "Item:Q5119969"
From MaRDI portal
The following pages link to CAD Adjacency Computation Using Validated Numerics (Q5119969):
Displaying 5 items.
- CAD and topology of semi-algebraic sets (Q626978) (← links)
- Application of quantifier elimination to inverse buckling problems (Q1742348) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
- Merging adjacent cells during single cell construction (Q6660335) (← links)