The following pages link to Variant quantifier elimination (Q420753):
Displaying 3 items.
- Open weak CAD and its applications (Q1711996) (← links)
- On a hybrid analytical-experimental technique to assess the storage modulus of resilient materials using symbolic computation (Q2437303) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
