Rigorous Global Search: Continuous Problems: 13 (Nonconvex Optimization and Its Applications) - Tapa blanda

Kearfott, R. Baker Baker

 
9781441947628: Rigorous Global Search: Continuous Problems: 13 (Nonconvex Optimization and Its Applications)
Tapa blanda
ISBN 10: 1441947620 ISBN 13: 9781441947628
Editorial: Springer, 2010

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Reseña del editor

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 global, constrained optimization with automatic result verification. Besides introductory and survey material, the book contains unique research results. The book also contains non-traditional ideas concerning non-smooth optimization. Thus, the book should be a valuable reference to applied mathematicians and computational scientists and engineers. With numerous examples and exercises, as well as leads for future research, the book can be used as a graduate text or reference on interval arithmetic, automatic differentiation and interval fixed point theory. The book can also serve as a user's guide for the nonlinear equations and optimization software, available free of charge from the author, for the author's general Fortran 90 interval arithmetic package, or for the associated automatic differentiation package. Audience: Researchers in operations research, numerical analysis, computational chemistry, computer-aided geometric design and computational geometry, robot kinematics, remote sensing. Also suitable for graduate and topics courses in numerical analysis, optimization, and operations research.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2010
Idioma
Inglés
ISBN 10 
1441947620
ISBN 13 
9781441947628
Encuadernación
Tapa blanda
Número de páginas
280
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9780792342380: Rigorous Global Search: Continuous Problems: 13 (Nonconvex Optimization and Its Applications)

Edición Destacada

ISBN 10:  0792342380 ISBN 13:  9780792342380
Editorial: Springer, 1996
Tapa dura