Pages that link to "Item:Q1105371"
From MaRDI portal
The following pages link to An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371):
Displayed 12 items.
- Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition (Q691649) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Local box adjacency algorithms for cylindrical algebraic decompositions (Q1599550) (← links)
- On the topology and isotopic meshing of plane algebraic curves (Q2179658) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Cell decomposition of almost smooth real algebraic surfaces (Q2391817) (← links)
- An exact and efficient approach for computing a cell in an arrangement of quadrics (Q2575587) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)