On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms.

• Autores: R. B. Kearfott, G. W. Walster
• Localización: ACM transactions on mathematical software, ISSN 0098-3500, Vol. 26, Nº 3, 2000, pág. 373
• Idioma: inglés
• DOI: 10.1145/358407.358418
• Texto completo no disponible (Saber más ...)