Pages that link to "Item:Q1105370"
From MaRDI portal
The following pages link to An improved projection operation for cylindrical algebraic decomposition of three-dimensional space (Q1105370):
Displayed 8 items.
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Local box adjacency algorithms for cylindrical algebraic decompositions (Q1599550) (← links)
- Solving systems of strict polynomial inequalities (Q1976673) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Two-view ``cylindrical decomposition'' of binary images (Q5955133) (← links)