Pages that link to "Item:Q3613424"
From MaRDI portal
The following pages link to Formal Global Optimisation with Taylor Models (Q3613424):
Displaying 7 items.
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- A validated real function calculus (Q1949769) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Rigorous global search using taylor models (Q2959013) (← links)
- Proving Bounds on Real-Valued Functions with Computations (Q3541683) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- Formal Proofs for Nonlinear Optimization (Q5195260) (← links)