Publications by Author: Kearfott
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About


Order by: [Title], [Author], [Editor], [Year]
R. Baker Kearfott
A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization
Article in ACM Trans. Math. Software, 1995
Theory & Techniques:
Interval Arithmetic
R. Baker Kearfott
Automatic Differentiation of Conditional Branches in an Operator Overloading Context
Computational Differentiation: Techniques, Applications, and Tools, SIAM, 1996
not yet classified
R. Baker Kearfott
Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers
Article in Computing, 1996
not yet classified
R. Baker Kearfott
On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms
Article in ACM Trans. Math. Software, 2000
not yet classified
R. Baker Kearfott, Alvard Arazyan
Taylor Series Models in Deterministic Global Optimization
Automatic Differentiation of Algorithms: From Simulation to Optimization, Springer, 2002
not yet classified
R. Baker Kearfott
Treating Non-Smooth Functions as Smooth Functions in Global Optimization and Nonlinear Systems Solvers
Scientific Computing and Validated Numerics, Mathematical Research, Akademie Verlag, 1995
not yet classified
R. Baker Kearfott, Siriporn Hongthong
Validated Linear Relaxations and Preprocessing: Some Experiments
Article in SIAM Journal on Optimization, SIAM, 2005
Theory & Techniques:
Interval Arithmetic

back
  

Contact:
autodiff.org
Username:
Password:
(lost password)