Verified solution of large systems and global optimization problems

DOI10.1016/0377-0427(94)00092-FzbMATH Open0866.65035MaRDI QIDQ1900761FDOQ1900761

Authors: Siegfried M. Rump 

Publication date: 13 July 1997

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

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

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)

Cites Work

• PROFIL/BIAS - A fast interval library
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constrained global optimization: algorithms and applications
• Interval Methods for Systems of Equations
• Automatic differentiation: techniques and applications
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modern Error Analysis
• Condition Estimates
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A stochastic method for global optimization
• Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
• Title not available (Why is that?)
• On Solving Systems of Equations Using Interval Arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fast local convergence with single and multistep methods for nonlinear equations
• Title not available (Why is that?)
• On computing the range of a rational function of n variables over a bounded region
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving nonlinear systems with least significant bit accuracy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Interval algorithm for absolute value equations

Uses Software

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

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)