Formal Global Optimisation with Taylor Models
From MaRDI portal
Publication:3613424
DOI10.1007/11814771_35zbMath1222.68377OpenAlexW1508667117WikidataQ60691715 ScholiaQ60691715MaRDI QIDQ3613424
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.680.8497
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Efficient and accurate computation of upper bounds of approximation errors ⋮ A validated real function calculus ⋮ Proving Bounds on Real-Valued Functions with Computations ⋮ The dodecahedral conjecture ⋮ Formal Proofs for Nonlinear Optimization ⋮ Formalization of Bernstein polynomials and applications to global optimization
Uses Software
This page was built for publication: Formal Global Optimisation with Taylor Models
