A note on epsilon-inflation
From MaRDI portal
Publication:1276130
DOI10.1023/A:1024419816707zbMath0920.65031OpenAlexW122692412MaRDI QIDQ1276130
Publication date: 9 September 1999
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1024419816707
Interval and finite arithmetic (65G30) Numerical computation of solutions to single equations (65H05)
Related Items (15)
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Fast verified solutions of linear systems ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\) ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Fast enclosing the solution set of the parametric Sylvester matrix equations ⋮ The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set ⋮ Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations ⋮ Verified error bounds for solutions of Sylvester matrix equations ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization ⋮ Exclusion regions for optimization problems ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers ⋮ A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies ⋮ Interval mathematics, algebraic equations and optimization
Uses Software
This page was built for publication: A note on epsilon-inflation
