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
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, A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies
Uses Software