R. Baker Kearfott
optimization book / professional
Computing journal / UTEP
Computations Web Site / conferences
computations mailing list / Frequently
Questions on interval computations /
/ preprints /
reliable_computing archives /
list as a newsgroup /
/ The Interval Subroutine
Library (ISL) project /
of interval arithmetic and (older) Fortran standardization /
favorite linux packaging /
Moore's early papers /
in papers / Courses
taught / Download
GlobSol / Some
optimization links /
hobbies / Lafayette
/ National Hurricane
Center / Search engine / Netlib
/ ULink (internal university access)
at UL (internal access) / UL
Zimbra Webmail (internal access) /
about Math. Dept. computers in MDD401 and MDD438 /
and example for UL theses and dissertations / Template
for "beamer" presentations, with the UL logo /
Beebe's BibTeX databases / Wikipedia
article on LaTeX /
/ Wikibook reference on
Click here for a
University of Louisiana at Lafayette
Lafayette, Louisiana 70504-1010
Office telephone: (337) 482-5270
Fax: (337) 482-5346
Introduction to Interval Analysis (Ramon
E. Moore, R. Baker Kearfott, and Michael J. Cloud), SIAM, Philadelphia,
Modern Numerical Analysis: Theory, Methods, and Practice (Azmy
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.
here for the errata for the second printing.
with Interval and Soft Computing (Chenyi Hu, R.
Baker Kearfott, Andre de Korvin, and Vladik Kreinovich, editors), Springer
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, 2004.
Search: Continuous Problems , Kluwer
Publishers, Dordrecht, Netherlands, 1996
Interval Computations (R. Baker Kearfott and
Vladik Kreinovich, editors), Kluwer Academic Publishers, Dordrecht,
Professional Interests and Activities
These are (perhaps randomly) selected conferences. For a more complete
list, see the "Conferences" links at the UTEP
Computations web site.
Some Previous Conferences
International Conference on Scientific Computing and Applications,
University of Nevada, Las Vegas, April 1-4, 2012.
modeling and analysis with intervals: Foundations, tools, applications,
Schloss Dagstuhl seminar no. 11371, September 11-16, 2011.
- JournÚes d
- SCAN 2010
- Computer-Assisted Proofs --
Tools, Methods, and Applications, Schlo▀ Dagstuhl Seminar 09471,
November 9--15, 2009.
- Workshop 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.
Lafayette J3 meeting (Fortran programming language standardization
(IMACS/GAMM International Symposium on Scientific Computing, Computer
Arithmetic and Validated Numerics)
SIAM Annual Meeting
SIAM Annual Meeting
2002 (Toronto, May, 2002)
- Numerical Software with
Result Verification (Dagstuhl Seminar 03041, January, 2003)
Optimization Theory Institute (Argonne Labs., September, 2003)
Taylor 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, Novosibirsk, Russia)
- SCAN 2004
- 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 22--24, 2006.
(Global 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,
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.
Meeting of the Japan SIAM, Metropolitan University, Tokyo, March
- INFORMS Southwest
Regional Conference, April 18-19, 2008 (Texas A&M
- SCAN 2008, El Paso, Texas,
September 29 to October 3, 2008.
- First World
Congress on Global Optimization (Changsha, Hunan, China, June
- SCAN 2012, 15’th GAMM-IMACS
International Symposium on Scientific Computing, Computer Arithmetic
and Verified Numerical Computations, September 23-29,
Reliable Computing Mailing List
(ACM TOMS Algorithm 681, Fortran 77 code to find all solutions to
polynomial systems of equations, from Netlib)
(ACM TOMS Algorithm 737, A FORTRAN 77 library for interval arithmetic
and for rigorous bounds on the ranges of standard functions, from
(ACM TOMS Algorithm 763, A Fortran 90 module that uses INTLIB to define
an interval data type, from Netlib)
(Including corrections and improvements to the Fortran 90 software from
the book Rigorous
Search: Continuous Problems)
Standardization of Interval Arithmetic,
Fortran Standardization, Intervals in Fortran
Global Optimization Links
Recreation and Hobbies
United States Masters Swimming