R. Baker Kearfott
According to our database^{1},
R. Baker Kearfott
authored at least 64 papers
between 1987 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
On csauthors.net:
Bibliography
2018
A Brief Review of a Method for Bounds on Polynomial Ranges over Simplexes.
Proceedings of the Fuzzy Information Processing, 2018
2017
A review of computation of mathematically rigorous bounds on optima of linear programs.
J. Global Optimization, 2017
2015
Some observations on exclusion regions in branch and bound algorithms.
J. Global Optimization, 2015
2014
Assessment of a nonadaptive deterministic global optimization algorithm for problems with lowdimensional nonconvex subspaces.
Optimization Methods and Software, 2014
On rigorous upper bounds to a global optimum.
J. Global Optimization, 2014
2013
On smooth reformulations and direct nonsmooth computations for minimax problems.
J. Global Optimization, 2013
A general framework for convexity analysis in deterministic global optimization.
J. Global Optimization, 2013
An overview of the upcoming IEEE P1788 working group document: Standard for interval arithmetic.
Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013
2011
Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments.
SIAM Journal on Optimization, 2011
Global Optimization and Singular Nonlinear Programs: New Techniques.
Reliable Computing, 2011
Interval computations, rigour and nonrigour in deterministic continuous global optimization.
Optimization Methods and Software, 2011
2009
Interval Newton Methods.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
Interval Fixed Point Theory.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
Interval Analysis: Verifying Feasibility.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
Interval Analysis: Unconstrained and Constrained Optimization.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
Interval Analysis: Nondifferentiable Problems.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
Interval Analysis: Intermediate Terms.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009
GlobSol user guide.
Optimization Methods and Software, 2009
Guest editors' preface: Issue dedicated to Professor Frank Stenger.
J. Complexity, 2009
Introduction to Interval Analysis.
SIAM, ISBN: 9780898716696, 2009
2008
A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.
Computing, 2008
Second Note on Basic Interval Arithmetic for IEEE754R.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008
Interval Subroutine Library Mission.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008
2007
Formulation for Reliable Analysis of Structural Frames.
Reliable Computing, 2007
János D. Pintér, ed. (2006), Global Optimization: Scientific and Engineering Case Studies, Springer Verlag Nonconvex Optimization and its Applications series, 546 pp., ISBN 0387304088.
J. Global Optimization, 2007
2006
Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization.
Optimization Methods and Software, 2006
Interval Subroutine Library Mission.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006
2005
Validated Linear Relaxations and Preprocessing: Some Experiments.
SIAM Journal on Optimization, 2005
Validated Constraint SolvingPracticalities, Pitfalls, and New Developments.
Reliable Computing, 2005
Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization".
Reliable Computing, 2005
Beyond Convex? Global Optimization is Feasible Only for Convex Objective Functions: A Theorem.
J. Global Optimization, 2005
2004
Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.
Reliable Computing, 2004
2003
Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems.
SIAM J. Numerical Analysis, 2003
COCOS'02  A Workshop on Global Constrained Optimization and Constraint Satisfaction October 24, 2002, SophiaAntipolis, France.
Reliable Computing, 2003
Existence verification for singular and nonsmooth zeros of real nonlinear systems.
Math. Comput., 2003
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
Proceedings of the Numerical Software with Result Verification, 2003
2002
Symbolic Preconditioning with Taylor Models: Some Examples.
Reliable Computing, 2002
SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization.
Reliable Computing, 2002
On Existence and Uniqueness Verification for NonSmooth Functions.
Reliable Computing, 2002
Verifying Topological Indices for HigherOrder Rank Deficiencies.
J. Complexity, 2002
GlobSol: History, Composition, and Advice on Use.
Proceedings of the Global Optimization and Constraint Satisfaction, 2002
2001
An Example of Singularity in Nonlinear Systems.
Reliable Computing, 2001
2000
On stopping criteria in verified nonlinear systems or optimization algorithms.
ACM Trans. Math. Softw., 2000
Existence Verification for Singular Zeros of Complex Nonlinear Systems.
SIAM J. Numerical Analysis, 2000
1998
Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.
Reliable Computing, 1998
On proving existence of feasible points in equality constrained optimization problems.
Math. Program., 1998
Rigorous Global Search: Industrial Applications.
Proceedings of the Developments in Reliable Computing, 1998
1997
Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems.
SIAM J. Scientific Computing, 1997
1996
Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.
ACM Trans. Math. Softw., 1996
Interval Extensions of NonSmooth Functions for Global Optimization and Nonlinear Systems Solvers.
Computing, 1996
1995
A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.
ACM Trans. Math. Softw., 1995
Предисловне.
Reliable Computing, 1995
Preface.
Reliable Computing, 1995
Optimizing INTBIS on the CRAY YMP.
Reliable Computing, 1995
A general iterative sparse linear solver and its parallelization for interval Newton methods.
Reliable Computing, 1995
1994
Algorithm 737; INTLIB: a portable Fortran 77 interval standardfunction library.
ACM Trans. Math. Softw., 1994
The cluster problem in multivariate global optimization.
J. Global Optimization, 1994
1992
An interval branch and bound algorithm for bound constrained optimization problems.
J. Global Optimization, 1992
1991
Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems.
Computing, 1991
A Parallelized Algorithm for the AllRow Preconditioned Interval Newton/Generalized Bisection Method.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991
1990
Algorithm 681: INTBIS, a portable interval Newton/bisection package.
ACM Trans. Math. Softw., 1990
1988
Corrigenda: "Some Tests of Generalized Bisection".
ACM Trans. Math. Softw., 1988
1987
Some tests of generalized bisection.
ACM Trans. Math. Softw., 1987