Self-validating methods

DOI10.1016/S0024-3795(00)00195-6zbMath0978.65037MaRDI QIDQ5929742

Siegfried Michael Rump

Publication date: 16 April 2001

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

zbMATH Keywords

nonlinear systemautomatic result verificationGaussian eliminationinterval arithmeticrounding controlself-validating methodsverification method

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Direct numerical methods for linear systems and matrix inversion (65F05) Algorithms with automatic result verification (65G20)

Related Items

Computer algebra for guaranteed accuracy. How does it help? ⋮ Principal minors. I: A method for computing all the principal minors of a matrix ⋮ Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics ⋮ Ten methods to bound multiple roots of polynomials ⋮ Interval boundary element method in the presence of uncertain boundary conditions, integration errors, and truncation errors ⋮ Certifying algorithms ⋮ Worst case bounds on the point-wise discretization error in boundary element method for the elasticity problem ⋮ Local discretization error bounds using interval boundary element method ⋮ Precise numerical computation ⋮ Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures ⋮ Componentwise pseudospectrum of a matrix ⋮ Solving the linear interval tolerance problem for weight initialization of neural networks

Uses Software

• Matlab
• INTLAB

Cites Work

• Computer methods and Borel summability applied to Feigenbaum's equation
• Global optimization using interval analysis: The one-dimensional case
• Rigorous chaos verification in discrete dynamical systems
• The dynamics of the Jouanolou foliation on the complex projective 2-space
• Interval Methods for Systems of Equations
• On the existence of an eigenvalue below the essential spectrum
• Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item