On stopping criteria in verified nonlinear systems or optimization algorithms

DOI10.1145/358407.358418zbMath1365.65139WikidataQ113309816 ScholiaQ113309816MaRDI QIDQ4406299

Ralph Baker Kearfott, G. William Walster

Publication date: 25 June 2003

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/358407.358418

zbMATH Keywords

performance; verification; algorithms; reliability

Mathematics Subject Classification ID

65K05: Numerical mathematical programming methods

90C30: Nonlinear programming

65H10: Numerical computation of solutions to systems of equations

65G20: Algorithms with automatic result verification

Related Items

Motivations for an arbitrary precision interval arithmetic and the MPFI library