Pages that link to "Item:Q2959013"
From MaRDI portal
The following pages link to Rigorous global search using taylor models (Q2959013):
Displaying 7 items.
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Efficient control of the dependency problem based on Taylor model methods (Q1300080) (← links)
- Computation and application of Taylor polynomials with interval remainder bounds (Q1383759) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- Symbolic preconditioning with Taylor models: Some examples (Q1869602) (← links)
- Certification of real inequalities: templates and sums of squares (Q2349133) (← links)
- Formal Global Optimisation with Taylor Models (Q3613424) (← links)