A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
From MaRDI portal
Publication:3906997
DOI10.1137/0717044zbMATH Open0457.65031OpenAlexW2016815171MaRDI QIDQ3906997FDOQ3906997
Authors:
Publication date: 1980
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0717044
Direct numerical methods for linear systems and matrix inversion (65F05) Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Cited In (14)
- Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros
- On certain computable tests and componentwise error bounds
- Generalization of the Bolzano theorem for simplices
- On computer-assisted proofs for solutions of linear complementarity problems
- Proving the existence of zeros using the topological degree and interval arithmetic
- Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
- A framework for existence tests based on the topological degree and homotopy
- Numerical validation of the existence of solutions for variational inequality problem via Poincaré-Miranda theorem
- Certified numerical real root isolation for bivariate nonlinear systems
- Numerical validation for systems of absolute value equations
- A GENERALIZED THEOREM OF MIRANDA AND THE THEOREM OF NEWTON–KANTOROVICH
- Verified Solutions of Systems of Nonlinear Polynomial Equations
- Nonsmooth exclusion test for finding all solutions of nonlinear equations
- Interval mathematics, algebraic equations and optimization
This page was built for publication: A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3906997)