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...
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 acces...
Primary Audience for the Book Specialists in numerical computations who are interested in algorithms with automatic result verification. Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc cessful applications. Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli cations of numerical methods with automatic result verification, that were pre sented at an international...
Primary Audience for the Book Specialists in numerical computations who are interested in algorithms with automatic result verification. Engineers, sc...
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...
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 acces...
Primary Audience for the Book - Specialists in numerical computations who are interested in algorithms with automatic result verification. - Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc- cessful applications. - Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli- cations of numerical methods with automatic result verification, that were pre- sented at an...
Primary Audience for the Book - Specialists in numerical computations who are interested in algorithms with automatic result verification. - Engineers...
