Verified numerical computation for nonlinear equations

DOI10.1007/BF03186536MaRDI QIDQ849180zbMATH OpenFDO

Authors Gotz Alefeld

Publication date 25 February 2010

Published in Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jjiam/1265033783

zbMATH Keywords

fixed-point iterationNewton-like methodsnonlinear equationsnonsmooth equationsurvey paper

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) Numerical computation of solutions to single equations (65H05)

Review text

This is a kind of a survey paper on verification methods for solving nonlinear equations. Fixed point iterations, Newton-like methods, and methods for nonsmooth equations are explained and discussed.

Recommendations

• scientific article; zbMATH DE number 4126597
• scientific article; zbMATH DE number 1424515
• scientific article; zbMATH DE number 804643
• Interval analysis: Theory and applications
• Verifying methods of multiple roots of nonlinear equations

Cites work

• A verification method for solutions of nonsmooth equations
• Enclosing solutions of linear complementarity problems for H-matrices
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3744424 (Why is no real title available?)
• scientific article; zbMATH DE number 3521417 (Why is no real title available?)
• scientific article; zbMATH DE number 714513 (Why is no real title available?)
• Interval analysis: Theory and applications
• Interval Methods for Systems of Equations
• Iterative methods for linear complementarity problems with interval data
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Numerical validation of solutions of complementarity problems: the nonlinear case
• Numerical validation of solutions of linear complementarity problems

Cited in

(15)

• Numerical validation for systems of absolute value equations
• A new family of adaptive methods with memory for solving nonlinear equations
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
• scientific article; zbMATH DE number 4133411 (Why is no real title available?)
• scientific article; zbMATH DE number 440794 (Why is no real title available?)
• Efficient optimal eighth-order derivative-free methods for nonlinear equations
• scientific article; zbMATH DE number 4126597 (Why is no real title available?)
• Contributions to computational analysis
• Verified Solutions of Systems of Nonlinear Polynomial Equations
• Numerical Verification of the Hasselmann equation
• Numerical Software with Result Verification
• Verifying methods of multiple roots of nonlinear equations
• Two optimal eighth-order derivative-free classes of iterative methods
• On verified numerical computations in convex programming
• Principles of verified numerical integration

This page was built for publication: Verified numerical computation for nonlinear equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849180)