Pages that link to "Item:Q1864882"

The following pages link to Interval arithmetic in cylindrical algebraic decomposition (Q1864882):

Displaying 15 items.

• Continuous amortization and extensions: with applications to bisection-based root isolation (Q277222) (← links)
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
• A general approach to isolating roots of a bitstream polynomial (Q655157) (← links)
• SqFreeEVAL: An (almost) optimal real-root isolation algorithm (Q655566) (← links)
• Blending implicit interval curves and surfaces (Q846420) (← links)
• Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
• The Voronoi diagram of three lines (Q1028584) (← links)
• An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
• Efficient isolation of polynomial's real roots. (Q1421215) (← links)
• Clustering complex zeros of triangular systems of polynomials (Q2035625) (← links)
• From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
• Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
• Real solution isolation using interval arithmetic (Q2458505) (← links)
• Real Root Isolation of Regular Chains (Q2799549) (← links)
• An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)