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

survey papernonlinear equationsfixed-point iterationnonsmooth equationNewton-like methods

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• 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?)
• A verification method for solutions of nonsmooth equations
• Enclosing solutions of linear complementarity problems for H-matrices
• Interval Methods for Systems of Equations
• Interval analysis: Theory and applications
• 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)

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

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)