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 (PDF)
• Index (PDF)
• See the GlobSol download page  for an update of the software included in the book.
• Errata
• For Chapter 1 (PDF)
• for Chapters 5 and 6, html
• for Chapter 7, html
• GlobSol (Including corrections and improvements to the Fortran 90 software from the book.  The link is a preprint; the article citation is: R. B. Kearfott, GlobSol User Guide, Optimization Methods and Software 24 (4-5), pp. 687--708 (August, 2009).

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
• Programming language standardization
• IEEE Project for standardization of interval arithmetic

Conferences

Forthcoming Conferences 

• 2013 IFSA World Congress and NAFIPS Annual Meeting (venue for the 2013 IEEE P-1788 standardization committee meeting), Edmonton, Alberta, Canada, June 24-28, 2013.
  

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.
• 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.
• 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)
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)
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.
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)
• 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

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)

Standardization of Interval Arithmetic, Fortran Standardization, Intervals in Fortran

Interval FTP Site

Courses Taught

Global Optimization Links

Recreation and Hobbies