Interval Methods for Systems of Equations
From MaRDI portal
Publication:5302142
DOI10.1017/CBO9780511526473zbMath1152.65054MaRDI QIDQ5302142
Publication date: 6 January 2009
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Iterative numerical methods for linear systems (65F10) Direct numerical methods for linear systems and matrix inversion (65F05)
Related Items (7)
Computing enclosures for the matrix Mittag-Leffler function ⋮ Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem ⋮ An algebraic model for the propagation of errors in matrix calculus ⋮ Validated Root Enclosures for Interval Polynomials with Multiplicities ⋮ Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test ⋮ Exclusion regions for parameter-dependent systems of equations ⋮ Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side
This page was built for publication: Interval Methods for Systems of Equations