R. Baker Kearfott
/ global optimization
book / professional
Computing journal / UTEP
Interval Computations Web Site / conferences
computations mailing list / Frequently
Asked Questions on interval computations /
reliable_computing archives /
mailing list as a newsgroup /
/ The Interval Subroutine
Library (ISL) project /
/ Standardization of interval arithmetic and (older) Fortran standardization /
/ My favorite linux packaging
E. Moore's early papers /
notation in papers / Courses
taught / Download
GlobSol / Some
global optimization links /
and hobbies / Lafayette
weather report / National
Hurricane Center / Search engine
/ Netlib /
(internal university access) / moodle
at UL (internal access) /
UL Zimbra Webmail (internal access) /
/ University of Louisiana Library Reference Desk online Center /
about Math. Dept. computers in MDD401 and MDD438 /
class for UL theses and dissertations / Template for "beamer" presentations, with the UL logo /
Beebe's BibTeX databases /
Wikipedia article on LaTeX /
/ Wikibook reference on LaTeX /
Click here for
University of Louisiana at Lafayette
Lafayette, Louisiana 70504-1010
Office telephone: (337) 482-5270
Fax: (337) 482-5346
to Interval Analysis (Ramon E. Moore, R. Baker Kearfott,
and Michael J. Cloud), SIAM, Philadelphia, January, 2009.
and Modern Numerical Analysis: Theory, Methods, and Practice (Azmy
S. Ackleh, Edward J. Allen, Ralph Baker Kearfott, and Padmanbhan Seshaiyer),
Taylor and Francis, September, 2009. Accompanying programs and a Matlab guide are associated with this book.; Click here for the Table of Contents (PDF); Click here for the Index (PDF). Click here for the Errata for the first printing. Click here for the errata for the second printing.
Processing with Interval and Soft Computing (Chenyi
Hu, R. Baker Kearfott, Andre de Korvin, and Vladik Kreinovich, editors),
Springer Verlag, 2008.
Software with Result Verification (RenÚ Alt,
Andreas Frommer, R. Baker Kearfott, and Wolfram Luther, editors) Lecture
Notes in Computer Science no. 2991, Springer Verlag, Berlin / Heidelberg,
Global Search: Continuous Problems , Kluwer
Academic Publishers, Dordrecht, Netherlands, 1996
of Interval Computations (R. Baker Kearfott and Vladik
Kreinovich, editors), Kluwer Academic Publishers, Dordrecht, Netherlands,
Professional Interests and Activities
These are (perhaps randomly) selected conferences. For a more complete
list, see the "Conferences" links at the UTEP
Interval Computations web site.
Some Previous Conferences
- Eighth International Conference on Scientific Computing and Applications, University of Nevada, Las Vegas, April 1-4, 2012.
- Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Schloss Dagstuhl seminar no. 11371, September 11-16, 2011.
- JournÚes d l'Optimisation 2011
- SCAN 2010
- Computer-Assisted Proofs -- Tools, Methods, and Applications, Schlo▀ Dagstuhl Seminar 09471, November 9--15, 2009.
on Automatic Differentiation and Nonlinear Optimization (conference in
honor of Andreas Griewank's 60-th birthday), Nice and INRIA Sophia Antipolis,
France, April 9--10, 2010.
1998 Lafayette J3 meeting (Fortran programming language standardization
International Symposium on Scientific Computing, Computer Arithmetic and
1998 SIAM Annual
1999 SIAM Annual Meeting
1999 INFORMS meeting
Computing 2002 (Toronto, May, 2002)
- Numerical Software with Result
Verification (Dagstuhl Seminar 03041, January, 2003)
Theory Institute (Argonne Labs., September, 2003)
Model Workshop (Maimi, Florida, December 17-20, 2003)
isiCAD: International Workshop on: Constraint-based
Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE
systems: From Methods to Applications (21-23 June 2004, Akademgorodok,
SCAN 2004 (Fukuoka,
- 2004 INFORMS Annual Meeting,
Denver, Colorado, October 24-27, 2004.
Algebraic and Numerical Algorithms
and Computer Assisted Proofs, Schloss Dagstuhl Seminar 05391, September
25, 2005 to September 30, 2005.
- Reliable Implementation of Real
Number Algorithms: Theory and Practice, Schlo▀ Dagstuhl seminar 06021,
January 8--13, 2006.
REC-2006 (Reliable Engineering Computing), Georgia Tech. at Savannah, February
Optimization -- Integrating Convexity, Optimization, Logic Programming,
and Computational Algebraic Geometry) October 1 to December 31, 2006.
INVA 2007, Waseda University, February, 2007.
- Optimal Algorithms and
Computational Complexity for Numerical Problems, May 7-8, 2007. (Click
here for the abstracts and schedule.)
- Numerical Validation in Current Hardware Architectures, Schlo▀ Dagstuhl seminar 08021,
January 6--11, 2008.
- Workshop on Verified Numerical Computation, Okinawa, Japan, February 27--March 7, 2008.
- Spring Meeting of the Japan SIAM, Metropolitan University, Tokyo, March 8-9, 2008.
- INFORMS Southwest Regional Conference, April 18-19, 2008 (Texas A&M University)
- SCAN 2008, El Paso, Texas, September 29 to October 3, 2008.
- First World Congress on Global Optimization (Changsha, Hunan, China, June 1-5, 2009)
- SCAN 2012, 15’th GAMM-IMACS
International Symposium on Scientific Computing, Computer Arithmetic
and Verified Numerical Computations, September 23-29, 2012, Novosibirsk.
Reliable Computing Mailing List
(Fortran 77 code to find all solutions to polynomial systems of equations)
(ACM TOMS Algorithm 737 -- A FORTRAN 77 library for interval arithmetic
and for rigorous bounds on the ranges of standard functions)
(A Fortran 90 module that uses INTLIB to define an interval data type;
accepted for publication as a TOMS algorithm)
(Including corrections and improvements to the Fortran 90 software from
the book Rigorous
Global Search: Continuous Problems)
Standardization of Interval Arithmetic, Fortran Standardization, Intervals in
Global Optimization Links
Recreation and Hobbies
United States Masters Swimming