Rigorous Global Search: Continuous Problems

  • R. Baker Kearfott

Part of the Nonconvex Optimization and Its Applications book series (NOIA, volume 13)

Table of contents

  1. Front Matter
    Pages i-xv
  2. R. Baker Kearfott
    Pages 1-69
  3. R. Baker Kearfott
    Pages 71-112
  4. R. Baker Kearfott
    Pages 113-144
  5. R. Baker Kearfott
    Pages 145-167
  6. R. Baker Kearfott
    Pages 169-208
  7. R. Baker Kearfott
    Pages 209-225
  8. Back Matter
    Pages 235-263

About this book


This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed it or could most use it. It is meant to be a self-contained introduction, a reference for the techniques, and a guide to the literature for the underlying theory. It contains pointers to fertile areas for future research. It also serves as introductory documentation for a Fortran 90 software package for nonlinear systems and global optimization. The subject of the monograph is deterministic, automatically verified or r- orous methods. In such methods, directed rounding and computational fix- point theory are combined with exhaustive search (branch and bound) te- niques. Completion of such an algorithm with a list of solutions constitutes a rigorous mathematical proof that all of the solutions within the original search region are within the output list. The monograph is appropriate as an introduction to research and technology in the area, as a desk reference, or as a graduate-level course reference. Kno- edge of calculus, linear algebra, and elementary numerical analysis is assumed.


FORTRAN computational geometry computer design geometry linear algebra operations research optimization software verification

Authors and affiliations

  • R. Baker Kearfott
    • 1
  1. 1.University of Southwestern LouisianaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-4762-8
  • Online ISBN 978-1-4757-2495-0
  • Series Print ISSN 1571-568X
  • Buy this book on publisher's site