Advertisement

Perspectives on Enclosure Methods

  • Ulrich Kulisch
  • Rudolf Lohner
  • Axel Facius

Table of contents

  1. Front Matter
    Pages I-XII
  2. J. Hartmut Bleher
    Pages 99-103
  3. John L. Gustafson
    Pages 105-117
  4. Henning Behnke, Ulrich Mertins
    Pages 119-131
  5. Louis B. Rall, Thomas W. Reps
    Pages 133-146
  6. Günter Mayer, Ingo Warnke
    Pages 157-171
  7. Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski
    Pages 181-198
  8. Dietmar Ratz
    Pages 277-337
  9. Back Matter
    Pages 341-345

About this book

Introduction

Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization.

Keywords

Boundary value problem Eigenvalue Factor algorithms calculus computation derivative differential equation finite element method mathematics numerical analysis numerics optimization ordinary differential equation scientific computing

Editors and affiliations

  • Ulrich Kulisch
    • 1
  • Rudolf Lohner
    • 1
  • Axel Facius
    • 1
  1. 1.Universität KarlsruheInstitut für Angewandte Mathematik

Bibliographic information

Industry Sectors
Aerospace
Oil, Gas & Geosciences
Engineering