book and software for verified global optimization

[David Hough]

>From Baker Kearfott:

Date: Fri, 08 Nov 1996 15:48:05 -0600
From: "R. Baker Kearfott" <rbkausl.edu>
Subject: Book --- "Rigorous Global Search: Continuous Problems

Dear Colleagues:  

My book, "Rigorous Global Search: Continuous Problems" will be available
from Kluwer Academic Publishers by the end of the month.

The book treats research results and software in verified solution
of nonlinear systems and global optimization.  It has an extensive
introduction to general theory and techniques.  A table of contents and
preface are available, in Postscript form, at:

http://interval.usl.edu/books/table-of-contents-and-preface.ps

The index is available, in Postscript form, at:

http://interval.usl.edu/books/index.ps

The summary on the back cover and an order form are available at:

http://interval.usl.edu/books/Rigorous-Global-Search.txt

I am also making my research code, in Fortran 90, available.  This
code contains automatic differentiation, as described in the book,
nonlinear systems code, and code for constrained and unconstrained
optimization.  Software engineering for neat packaging continues to proceed, 
and different portions are in different states of polish.  The 
elementary portions (such as the interval arithmetic module) are in the 
highest state of completion.  The nonlinear systems solver is in relatively 
good shape, while improvements are continuing on the general constrained 
global optimization part.

The package includes a significant collection of test problems, written
simply in Fortran 90.  Executables for Windows 95 machines (486 or higher)
and Sun Sparc machines are available.  For source and executables, see:


ftp://interval.usl.edu/pub/interval_math/Fortran_90_software/INTOPT_90/">


All of the above URL's can be accessed from my home page at:

http://interval.usl.edu/kearfott.html



The ISBN for the book is 0-7923-4238-0, and the price is $134.00.
For alternate ordering instructions, see:

http://www.wkap.nl

Best regards,

Baker
---------------------------------------------------------------
R. Baker Kearfott,       rbkausl.edu      (318) 482-5346 (fax)
(318) 482-5270 (work)                     (318) 981-9744 (home)
URL: http://interval.usl.edu/kearfott.html
Department of Mathematics, University of Southwestern Louisiana