Cargando…

Interval Analysis : and Automatic Result Verification /

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through man...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mayer, G. (Günter) (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; Boston : De Gruyter, [2017]
Colección:De Gruyter studies in mathematics ; 65.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario:This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, [epsilon]-inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals.
The series is devoted to the publication of monographs and high-level textbooks in mathematics, mathematical methods and their applications. Apart from covering important areas of current interest, a major aim is to make topics of an interdisciplinary nature accessible to the non-specialist. The works in this series are addressed to advanced students and researchers in mathematics and theoretical physics. In addition, it can serve as a guide for lectures and seminars on a graduate level. The series de Gruyter Studies in Mathematics was founded ca. 30 years ago by the late Professor Heinz Bauer.
Descripción Física:1 online resource (532 pages)
Bibliografía:Includes bibliographical references (pages 483-498) and indexes.
ISBN:9783110499469
3110499460
9783110498059
3110498057
9783110500639
3110500639
9783110499476
3110499479