Pages that link to "Item:Q2635072"
From MaRDI portal
The following pages link to Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072):
Displaying 6 items.
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
- A Formal Proof of Square Root and Division Elimination in Embedded Programs (Q5195252) (← links)
- A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558) (← links)