R. Baker Kearfott
book / professional
Computing journal / UTEP
Computations Web Site / conferences
computations mailing list / Frequently
Questions on interval computations /
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
Hurricane Center / Search engine
/ Netlib /
(internal university access) / moodle
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
/ Wikibook reference on
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
and Michael J. Cloud), SIAM, Philadelphia, January, 2009.
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 Verlag, 2008.
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,
Search: Continuous Problems , Kluwer
Publishers, Dordrecht, Netherlands, 1996
Interval Computations (R. Baker Kearfott and
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
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.
on Automatic Differentiation and Nonlinear Optimization (conference in
honor of Andreas Griewank's 60-th birthday), Nice and INRIA Sophia
France, April 9--10, 2010.
Lafayette J3 meeting (Fortran programming language standardization
International Symposium on Scientific Computing, Computer Arithmetic and
1998 SIAM Annual
1999 SIAM Annual Meeting
2002 (Toronto, May, 2002)
- Numerical Software with
Verification (Dagstuhl Seminar 03041, January, 2003)
Theory Institute (Argonne Labs., September, 2003)
Model Workshop (Maimi, Florida, December 17-20, 2003)
isiCAD: International Workshop on:
Approaches and Methods of Mathematical Modelling for Intelligent
systems: From Methods to Applications (21-23 June 2004,
SCAN 2004 (Fukuoka,
- 2004 INFORMS
Denver, Colorado, October 24-27, 2004.
Algebraic and Numerical
and Computer Assisted Proofs, Schloss Dagstuhl Seminar 05391,
25, 2005 to September 30, 2005.
- Reliable Implementation of
Number Algorithms: Theory and Practice, Schlo▀ Dagstuhl seminar
January 8--13, 2006.
REC-2006 (Reliable Engineering Computing), Georgia Tech. at Savannah,
Optimization -- Integrating Convexity, Optimization, Logic
and Computational Algebraic Geometry) October 1 to December 31,
INVA 2007, Waseda University, February, 2007.
- Optimal Algorithms
Computational Complexity for Numerical Problems, May 7-8, 2007.
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
Global Optimization Links
Recreation and Hobbies
United States Masters Swimming