The SCEAS System
| |||||||

## Search the dblp DataBase
R. Baker Kearfott:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- R. Baker Kearfott
**GlobSol: History, Composition, and Advice on Use.**[Citation Graph (0, 0)][DBLP] COCOS, 2002, pp:17-31 [Conf] - R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
**Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.**[Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:36-63 [Conf] - Chenyi Hu, Magdy A. Bayoumi, R. Baker Kearfott, Qing Yang
**A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method.**[Citation Graph (0, 0)][DBLP] PPSC, 1991, pp:205-209 [Conf] - R. Baker Kearfott
**Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers.**[Citation Graph (0, 0)][DBLP] Computing, 1996, v:57, n:2, pp:149-162 [Journal] - R. Baker Kearfott, Jianwei Dian
**Verifying Topological Indices for Higher-Order Rank Deficiencies.**[Citation Graph (0, 0)][DBLP] J. Complexity, 2002, v:18, n:2, pp:589-611 [Journal] - Jianwei Dian, R. Baker Kearfott
**Existence verification for singular and nonsmooth zeros of real nonlinear systems.**[Citation Graph (0, 0)][DBLP] Math. Comput., 2003, v:72, n:242, pp:757-766 [Journal] - R. Baker Kearfott
**On proving existence of feasible points in equality constrained optimization problems.**[Citation Graph (0, 0)][DBLP] Math. Program., 1998, v:83, n:, pp:89-100 [Journal] - R. Baker Kearfott
**An Example of Singularity in Nonlinear Systems.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2001, v:7, n:5, pp:425-429 [Journal] - R. Baker Kearfott
**On Existence and Uniqueness Verification for Non-Smooth Functions.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2002, v:8, n:4, pp:267-282 [Journal] - R. Baker Kearfott
**COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2003, v:9, n:1, pp:81-87 [Journal] - R. Baker Kearfott
**Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization".**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2005, v:11, n:2, pp:163-164 [Journal] - R. Baker Kearfott
**Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2005, v:11, n:5, pp:383-391 [Journal] - R. Baker Kearfott
**Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1998, v:4, n:4, pp:405-409 [Journal] - R. Baker Kearfott, G. William Walster
**SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2002, v:8, n:5, pp:419-424 [Journal] - R. Baker Kearfott, G. William Walster
**Symbolic Preconditioning with Taylor Models: Some Examples.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2002, v:8, n:6, pp:453-468 [Journal] - Humberto Muñoz, R. Baker Kearfott
**Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2004, v:10, n:3, pp:163-193 [Journal] - George F. Corliss, Christopher Foley, R. Baker Kearfott
**Formulation for Reliable Analysis of Structural Frames.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2007, v:13, n:2, pp:125-147 [Journal] - R. Baker Kearfott
**A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 1995, v:21, n:1, pp:63-78 [Journal] - R. Baker Kearfott
**Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 1996, v:22, n:4, pp:385-392 [Journal] - R. Baker Kearfott, M. Dawande, K. Du, C. Hu
**Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 1994, v:20, n:4, pp:447-459 [Journal] - R. Baker Kearfott, Manuel Novoa
**Algorithm 681: INTBIS, a portable interval Newton/bisection package.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 1990, v:16, n:2, pp:152-157 [Journal] - R. Baker Kearfott, G. William Walster
**On stopping criteria in verified nonlinear systems or optimization algorithms.**[Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 2000, v:26, n:3, pp:373-389 [Journal] **Second Note on Basic Interval Arithmetic for IEEE754R.**[Citation Graph (, )][DBLP]**Interval Subroutine Library Mission.**[Citation Graph (, )][DBLP]**Interval Subroutine Library Mission.**[Citation Graph (, )][DBLP]**Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.**[Citation Graph (, )][DBLP]**A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.**[Citation Graph (, )][DBLP]
Search in 0.033secs, Finished in 0.034secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |