Efficient Numerical Validation of Solutions of Nonlinear Systems

DOI10.1137/0731013MaRDI QIDQ4294767zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

interval vectorKantorovich theoremKrawczyk operatorNewton algorithmnumerical validation of solutionsstopping criterionsystem of nonlinear equations

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Numerical computation of solutions to systems of equations (65H10)

Cited in

(16)

• Numerical validation for an inverse matrix eigenvalue problem
• Enclosing solutions of an inverse Sturm-Liouville problem with finite data
• A verification method for solutions of nonsmooth equations
• Interval analysis: Theory and applications
• Interval mathematics, algebraic equations and optimization
• Numerical validation for systems of absolute value equations
• Higher order multi-step interval iterative methods for solving nonlinear equations in R^n
• Formulas for the width of interval products
• Experiences with a method for enclosing solutions of systems of equations
• A switching-method for nonlinear systems
• A genetic algorithm with a self-reproduction operator to solve systems of nonlinear equations
• scientific article; zbMATH DE number 5773704 (Why is no real title available?)
• Computational experience with globally convergent descent methods for large sparse systems of nonlinear equations^∗
• scientific article; zbMATH DE number 641619 (Why is no real title available?)
• Numerical Software with Result Verification
• Verification for existence of solutions of linear complementarity problems

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)