Pages that link to "Item:Q1105371"

The following pages link to An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371):

Displayed 6 items.

• 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)
• An exact and efficient approach for computing a cell in an arrangement of quadrics (Q2575587) ‎ (← links)