Scientific Computing, Validated Numerics, Interval Methods

  • Walter Krämer
  • Jürgen Wolff von Gudenberg

Table of contents

  1. Front Matter
    Pages i-x
  2. SCAN 2000 Keynote Address the Future of Intervals

  3. Software- and Hardware-Tools

    1. Front Matter
      Pages 17-17
    2. Javier Hormigo, Julio Villalba, Michael J. Schulte
      Pages 19-28
    3. Eero Hyvönen
      Pages 41-51
    4. James E. Stine, Michael J. Schulte
      Pages 53-68
    5. Ahmet Akkas, Michael J. Schulte, James E. Stine
      Pages 69-79
    6. Günter Schumacher, Armin Bantle
      Pages 81-87
  4. Linear Algebra

  5. Polynomials

    1. Front Matter
      Pages 139-139
    2. Daniela Fausten, Wolfram Luther
      Pages 141-152
  6. Set Enclosures

    1. Front Matter
      Pages 165-165
    2. Michel Kieffer, Isabelle Braems, Éric Walter, Luc Jaulin
      Pages 167-178
    3. Luc Jaulin, Isabelle Braems, Michel Kieffer, Éric Walter
      Pages 191-201
  7. Global Optimization

    1. Front Matter
      Pages 203-203
    2. Andras Erik Csallner, Rudi Klatte, Dietmar Ratz, Andreas Wiethoff
      Pages 205-213
    3. Dimitris G. Sotiropoulos, Theodoula N. Grapsa
      Pages 215-226
    4. Jürgen Heeks, Eberhard P. Hofer, Bernd Tibken, Karin Lunde, Klaus Thorwart
      Pages 227-237
  8. Control

    1. Front Matter
      Pages 239-239
    2. Eberhard P. Hofer, Bernd Tibken, Milan Vlach
      Pages 241-253
    3. Mikhail Krastanov, Neli Dimitrova
      Pages 255-265
    4. Isabelle Braems, Michel Kieffer, Éric Walter, Luc Jaulin
      Pages 267-278
  9. ODE and DAE and Applications

    1. Front Matter
      Pages 279-279
    2. Jens Hoefkens, Martin Berz, Kyoko Makino
      Pages 281-292
    3. Anatoliy Prykarpatsky, Stanislaw Brzychczy, V. Samoylenko
      Pages 293-303
    4. Christian H. Bischof, Bruno Lang, Wolfgang Marquardt, Martin Mönnigmann
      Pages 305-316
    5. Christian Hörsken, Holger Traczinski
      Pages 317-327
  10. Stochastics and Probability

    1. Front Matter
      Pages 329-329
    2. Calin Vamos, Nicolae Suciu, Harry Vereecken, Olaf Nitzsche, Horst Hardelauf
      Pages 343-354
    3. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Harry Schulte
      Pages 355-365
    4. Fabienne Jézéquel, Jean-Marie Chesneaux
      Pages 367-377
    5. Dominique Michelucci
      Pages 379-390
  11. Back Matter
    Pages 391-398

About this book


Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 former Interval conferences focusing on interval methods and their application in science and engineering. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. The symposium was held in Karlsruhe the European cradle of interval arithmetic and self-validating numerics and attracted 193 researchers from 33 countries. 12 invited and 153 contributed talks were given. But not only the quantity was overwhelming we were deeply impressed by the emerging maturity of our discipline. There were many talks discussing a wide variety of serious applications stretching all parts of mathematical modelling. New efficient, publicly available or even commercial tools were proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened.


AES Analysis Automat Hardware Variable algorithms linear algebra modeling numerics optimization scientific computing

Editors and affiliations

  • Walter Krämer
    • 1
  • Jürgen Wolff von Gudenberg
    • 2
  1. 1.University of WuppertalWuppertalGermany
  2. 2.University of WürzburgWürzburgGermany

Bibliographic information