
[17]
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 NonSmooth 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 NonSmooth 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

[17]
back

