|
|
[1-7]
| Order by:
[Title],
[Author],
[Editor],
[Year] |
|---|
|
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
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
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, Alvard Arazyan
Taylor Models in Deterministic Global Optimization
Automatic Differentiation of Algorithms: From Simulation to Optimization, Springer,
2002 |
Application Area:
Optimization
Tools:
COSY INFINITY
|
|
|
R. Baker Kearfott, Siriporn Hongthong
Validated Linear Relaxations and Preprocessing: Some Experiments
Article in
SIAM Journal on Optimization, SIAM,
2005 |
Theory & Techniques:
Interval Arithmetic
|
[1-7]
back
|
|
