Pages that link to "Item:Q2457384"
From MaRDI portal
The following pages link to Cylindrical algebraic decomposition using validated numerics (Q2457384):
Displaying 7 items.
- Variant quantifier elimination (Q420753) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers (Q3452372) (← links)
- Sparse multivariate function recovery with a high error rate in the evaluations (Q3452406) (← links)
- Randomized detection of extraneous factors (Q3452413) (← links)
