Baker Kearfott, R.
76  results:
Search for persons X
?
2

Discussion and empirical comparisons of linear relaxations ..:

Baker Kearfott, R.
Optimization Methods and Software.  21 (2006)  5 - p. 715-731 , 2006
 
?
5

Erratum: Validated Linear Relaxations and Preprocessing: So..:

Kearfott, R. Baker
SIAM Journal on Optimization.  21 (2011)  1 - p. 415-416 , 2011
 
?
6

GlobSol user guide:

Kearfott, R. Baker
Optimization Methods and Software.  24 (2009)  4-5 - p. 687-708 , 2009
 
?
7

Interval Matrices in Knowledge Discovery:

, In: Advanced Information and Knowledge Processing; Knowledge Processing with Interval and Soft Computing,
Hu, Chenyi ; Kearfott, R. Baker - p. 99-117 , 2008
 
?
 
?
 
?
11

Numerical Software with Result Verification 

International Dagstuhl Seminar, Dagstuhl Castle, Germany, J...  Lecture Notes in Computer Science ; 2991
 
?
12

Existence Verification for Higher Degree Singular Zeros of ..:

Kearfott, R. Baker ; Dian, Jianwei
SIAM Journal on Numerical Analysis.  41 (2004)  6 - p. 2350-2373 , 2004
 
?
13

Existence Verification for Singular and Nonsmooth Zeros of ..:

Dian, Jianwei ; Kearfott, R. Baker
Mathematics of Computation.  72 (2003)  242 - p. 757-766 , 2003
 
?
14

Existence Verification for Singular Zeros of Complex Nonlin..:

Kearfott, R. Baker ; Dian, Jianwei ; Neumaier, A.
SIAM Journal on Numerical Analysis.  38 (2001)  2 - p. 360-379 , 2001
 
?
15

On proving existence of feasible points in equality constra..:

Kearfott, R. Baker
Mathematical Programming.  83 (1998)  1-3 - p. 89-100 , 1998
 
1-15
Related subjects