Pages that link to "Item:Q3452390"

The following pages link to Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390):

Displaying 7 items.

• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
• Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
• The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
• Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
• (Q4980497) (← links)
• Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)