Rigorous Global Search

Kearfott, R. Baker

ISBN 10: 0792342380 / ISBN 13: 9780792342380

Edité par Kluwer Academic Publishers, 1996

Offers an 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 global, constrained optimization with automatic result verification. This book also contains non-traditional ideas concerning non-smooth optimization. Series: Nonconvex Optimization and Its Applications. Num Pages: 280 pages, biography. BIC Classification: PBKJ; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576. . 1996. Hardback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9780792342380

Synopsis :

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.

Détails bibliographiques

Titre : Rigorous Global Search
Éditeur : Kluwer Academic Publishers
Date d'édition : 1996
Reliure : Couverture rigide
Etat : New