Rigorous global search

by R. Baker Kearfott

The book provides a self-contained introduction to underlying techniques, as well as a compendium of theory and a guide to the author's Fortran 90 software for nonlinear algebraic systems and globa…