Efficient Numerical Validation of Solutions of Nonlinear Systems
DOI10.1137/0731013zbMATH Open0796.65068OpenAlexW2057612756MaRDI QIDQ4294767FDOQ4294767
Authors: A. Gienger, Florian A. Potra, Gotz Alefeld 
Publication date: 10 October 1994
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/84e135f988ba15adb9e97c0d8429a48e65e906f8
Recommendations
system of nonlinear equationsstopping criterioninterval vectorKantorovich theoremNewton algorithmKrawczyk operatornumerical validation of solutions
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Cited In (15)
- Interval analysis: Theory and applications
- Formulas for the width of interval products
- Experiences with a method for enclosing solutions of systems of equations
- A switching-method for nonlinear systems
- Numerical validation for systems of absolute value equations
- Title not available (Why is that?)
- Numerical Software with Result Verification
- Verification for existence of solutions of linear complementarity problems
- Computational experience with globally convergent descent methods for large sparse systems of nonlinear equations∗
- Enclosing solutions of an inverse Sturm-Liouville problem with finite data
- Numerical validation for an inverse matrix eigenvalue problem
- Interval mathematics, algebraic equations and optimization
- Higher order multi-step interval iterative methods for solving nonlinear equations in \(\mathbb R^n\)
- A verification method for solutions of nonsmooth equations
- A genetic algorithm with a self-reproduction operator to solve systems of nonlinear equations
This page was built for publication: Efficient Numerical Validation of Solutions of Nonlinear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4294767)
