Verified solution of large systems and global optimization problems

DOI10.1016/0377-0427(94)00092-FMaRDI QIDQ1900761zbMATH OpenFDO

Authors Siegfried M. Rump

Publication date 13 July 1997

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

zbMATH Keywords

error boundsglobal optimizationnumerical resultsinterval arithmeticresult verificationtest examplesbanded sparse systems

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)

Recommendations

• scientific article; zbMATH DE number 671951
• Interval analysis: Theory and applications
• scientific article; zbMATH DE number 524107
• scientific article; zbMATH DE number 757686
• Publication:4945762

Cites work

• scientific article; zbMATH DE number 3174753 (Why is no real title available?)
• scientific article; zbMATH DE number 3844935 (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3919696 (Why is no real title available?)
• scientific article; zbMATH DE number 3986539 (Why is no real title available?)
• scientific article; zbMATH DE number 4050846 (Why is no real title available?)
• scientific article; zbMATH DE number 4066210 (Why is no real title available?)
• scientific article; zbMATH DE number 3682951 (Why is no real title available?)
• scientific article; zbMATH DE number 3766957 (Why is no real title available?)
• scientific article; zbMATH DE number 47153 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 54095 (Why is no real title available?)
• scientific article; zbMATH DE number 193463 (Why is no real title available?)
• scientific article; zbMATH DE number 3485507 (Why is no real title available?)
• scientific article; zbMATH DE number 3548306 (Why is no real title available?)
• scientific article; zbMATH DE number 3630130 (Why is no real title available?)
• scientific article; zbMATH DE number 584485 (Why is no real title available?)
• scientific article; zbMATH DE number 647464 (Why is no real title available?)
• scientific article; zbMATH DE number 799226 (Why is no real title available?)
• scientific article; zbMATH DE number 802434 (Why is no real title available?)
• scientific article; zbMATH DE number 852342 (Why is no real title available?)
• scientific article; zbMATH DE number 879764 (Why is no real title available?)
• scientific article; zbMATH DE number 3311329 (Why is no real title available?)
• scientific article; zbMATH DE number 3320800 (Why is no real title available?)
• scientific article; zbMATH DE number 3388498 (Why is no real title available?)
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• A stochastic method for global optimization
• Automatic differentiation: techniques and applications
• Condition Estimates
• Constrained global optimization: algorithms and applications
• Fast local convergence with single and multistep methods for nonlinear equations
• Interval Methods for Systems of Equations
• Modern Error Analysis
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
• On Solving Systems of Equations Using Interval Arithmetic
• On computing the range of a rational function of n variables over a bounded region
• PROFIL/BIAS - A fast interval library
• Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
• Solving nonlinear systems with least significant bit accuracy

Cited in

(2)

• scientific article; zbMATH DE number 5773704 (Why is no real title available?)
• Interval algorithm for absolute value equations

Describes a project that uses

Uses Software

• PASCAL-XSC
• BRENT
• LINPACK
• PROFIL/BIAS

This page was built for publication: Verified solution of large systems and global optimization problems

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