A note on epsilon-inflation
From MaRDI portal
Publication:1276130
DOI10.1023/A:1024419816707zbMath0920.65031MaRDI QIDQ1276130
Publication date: 9 September 1999
Published in: Reliable Computing (Search for Journal in Brave)
Related Items
Verified error bounds for solutions of Sylvester matrix equations, Fast verified solutions of linear systems, Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem, Solving interval constraints by linearization in computer-aided design, Interval mathematics, algebraic equations and optimization, The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set, A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies
Uses Software