On stopping criteria in verified nonlinear systems or optimization algorithms

No abstract is available for this paper.

• Publication year

  2000

• Venue

  TOMS

• Publication date

  2000-09-01

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1145/358407.358418
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type

  2000influential reference
• Rigorous Global Search: Continuous Problems

  1996influential reference
• On the selection of subdivision directions in interval branch-and-bound methods for global optimization

  1995cited by this paper
• Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library

  1994cited by this paper
• Global optimization using interval analysis

  1992influential reference
• Interval methods for systems of equations

  1990cited by this paper
• Introduction to Interval Computation

  1983cited by this paper
• Methods and applications of interval analysis

  1979cited by this paper

• Control analysis and design via randomised coordinate polynomial minimisation

  2020cites this paper
• Learning interpretable disease self-representations for drug repositioning

  2019cites this paper
• Termination detection strategies in evolutionary algorithms: a survey

  2018cites this paper
• A Bibliography of Publications of R. Baker Kearfott

  2014cites this paper
• Optimization Methods and Software

  2009cites this paper
• Introduction to Interval Analysis

  2009cites this paper
• GlobSol user guide

  2009cites this paper
• New interval partitioning algorithms for global optimization problems

  2007cites this paper
• Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

  2005cites this paper
• Multiple Precision Interval Packages : Comparing Different Approaches

  2003cites this paper
• Multiple Precision Interval Packages: Comparing Different Approaches

  2003cites this paper
• Interval Newton Iteration in Multiple Precision for the Univariate Case

  2003cites this paper
• Why develop Multiple Precision Interval Packages ? 1 . 1 Need for Arbitrary Precision Interval Softwares

  2003cites this paper
• Automatic Differentiation of Algorithms: From Simulation to Optimization

  2002cites this paper
• GlobSol: History, Composition, and Advice on Use

  2002influential citation
• Taylor Series Models in Deterministic Global Optimization

  2000cites this paper
• Introduction à l'arithmétique par intervalles

  2000influential citation
• User Guide Globsol User Guide

  year unknowncites this paper