R. Baker Kearfott

Address:

University of Louisiana at Lafayette
Box 4-1010
Lafayette, Louisiana 70504-1010
USA

Email: rbk@louisiana.edu
Office telephone: (337) 482-5270
Fax: (337) 482-5346
Office Hours

Books:

• Table of Contents and Preface (Postscript)
• Index (Postscript)
• Summary and order form (ASCII)
• See the GlobSol project  for an update of the software included in the book.
• Errata
• For Chapter 1:
• DVI
• Postscript
• for Chapter 4, DVI
• for Chapters 5 and 6, html
• For Chapter 6:
• DVI
• Postscript
• for Chapter 7, html
• The GlobSol project (Including corrections and improvements to the Fortran 90 software from the book.)

Professional Interests and Activities

• Nonlinear equations and global optimization (link to Arnold Neumaier's collection)
• Automatically verified computations ( interval analysis,  link to Vladik Kreinovich's page)
• Scientific software development
• Scientific conference organization
• Editorial and managerial work: the journal Reliable Computing
• Back issues and general information
• Current subscriptions
• Programming language standardization

Conferences

Forthcoming Conferences

• 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), INRIA Sophia Antipolis, Franc, April 9--10, 2010.

Some Previous Conferences

• Click here for information on the INTERVAL'96 conference, concerning interval mathematics, interval and computer-algebraic methods, SC-languages, etc., held September 30 to October 2, 1996 in Wuerzburg, Germany.
• ISMP 97 Conference (International Symposium on Mathematical Programming)
• Global Optimization: Algorithms, Software, and Applications I
• Global Optimization: Algorithms, Software, and Applications II
• SCAN-97 (IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics)
• February, 1998 Lafayette J3 meeting (Fortran programming language standardization committee)
• SCAN'98 (IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics)
• Personal Conference Photographs from Budapest (*.jpg format, 4in. by 6in., scanned at 300DPI)
• 1998 SIAM Annual Meeting
• 1999 SIAM Annual Meeting
• 1999 INFORMS meeting
• Validated Computing 2002 (Toronto, May, 2002)
SCAN 2002 (Paris, September, 2002)
2002 COCOS (Valbonne, October, 2002)
Numerical Software with Result Verification (Dagstuhl Seminar 03041, January, 2003)
Global Optimization Theory Institute (Argonne Labs., September, 2003)
Second 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 (Fukuoka, Japan)
Reliable Engineering Computing, Savannah, Georgia, September 15-17, 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.
International Workshop on Global Optimization, GO05, Almeria, September 18-22, 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.
GICOLAG (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, 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)

Reliable Computing Mailing List

Preprints and Publications

Available Software

• INTBIS (Fortran 77 code to find all solutions to polynomial systems of equations)
• INTLIB (ACM TOMS Algorithm 737 -- A FORTRAN 77 library for interval arithmetic and for rigorous bounds on the ranges of standard functions)
• INTERVAL_ARITHMETIC (A Fortran 90 module that uses INTLIB to define an interval data type; accepted for publication as a TOMS algorithm)
• GlobSol  (Including corrections and improvements to the Fortran 90 software from the book Rigorous Global Search: Continuous Problems)

Fortran Standardization and Intervals in Fortran

Interval FTP Site

Courses Taught

Global Optimization Links

Recreation and Hobbies