Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 03041

Numerical Software with Result Verification

( Jan 19 – Jan 24, 2003 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



Numerical computations are not reliable in the sense that rounding errors affect more or less every result of such a computation. Recently, several techniques have been developed to computationally circumvent these problems. The result of a computation then has the same rigour as a mathematical proof; it is therefore reliable and verified. The idea of the seminar was to bring together those who develop software for verified numerical computation and those who need such computations in their applications.

More than fifty scientists took part in this seminar. Each day started with a highlighted lecture on one of the main topics of the seminar. In order to stimulate interactions and to trigger discussions, participants were assigned to groups sharing a common subject: comprehensive software systems, libraries, enhanced software systems, object orientation, standardization, optimization, algorithms for verified numerical computation, novel approaches to validation, engineering and financial applications, applications in process simulation and control, applications in geometry and geodesics, applications in physics and chemistry.

During daytime, these groups presented their latest results in common sessions; this work was complemented by software demonstrations which took place in the evening.

For detailed information on all talks we refer to the abstracts in the proceedings as well as to the external home page of this conference which contains the slides of most of the lectures. (Links above) At this point we just mention the major lines of discussion and development which became evident through this seminar.

Validated numerical computation is now supported by a variety of numerical software. The latest developments show that fast validated computation can be achieved, that the high precision evaluation of standard functions is still an exciting area of development, that the integration with algebraic and symbolic computation becomes increasingly important and is supported more and more, and that techniques from compiler technology get used more and more in this area.

From the algorithmic point of view, the most impressive progress is being made in methods for global optimization, boosted by a European project. One of the strong points of the seminar was probably also the fact that many scientists from various application fields participated very actively. It became clear how validated numerical computation today enters such different areas like control theory, process simulation, mechanical reliability, robotics, chemistry, physics, geodesy and computational geometry.

Finally, it was interesting and stimulating to compare the different approaches to validation relying on interval arithmetic, stochastic arithmetic, static code analysis or artificial intelligence techniques like theorem proving.

  • Götz Alefeld (KIT - Karlsruher Institut für Technologie, DE)
  • René Alt (UPMC - Paris, FR)
  • Ekaterina Auer (Universität Duisburg-Essen, DE)
  • Stefan Borovac (Bergische Universität Wuppertal, DE)
  • Katja Bühler (VRVis - Wien, AT) [dblp]
  • George F. Corliss (Marquette University - Milwaukee, US) [dblp]
  • Andras Csallner (University of Szeged, HU)
  • Tibor Csendes (University of Szeged, HU) [dblp]
  • Eva Dyllong (Universität Duisburg-Essen, DE)
  • Daniela Fausten (Universität Duisburg-Essen, DE)
  • Andreas Frommer (Universität Wuppertal, DE) [dblp]
  • Jürgen Garloff (HTWG Konstanz, DE) [dblp]
  • Marc Gennat (Universität Wuppertal, DE)
  • Laurent Granvilliers (University of Nantes, FR)
  • Markus Grimmer (Bergische Universität Wuppertal, DE)
  • Angelika Hailer (TU Hamburg-Harburg, DE)
  • Gerhard Haßlinger (TU Darmstadt, DE)
  • Gerhard Heindl (Bergische Universität Wuppertal, DE)
  • Werner Hofschuster (Bergische Universität Wuppertal, DE)
  • Christian Jansson (TU Hamburg-Harburg, DE)
  • Fabienne Jézéquel (Université Paris VI, FR)
  • Ralph Baker Kearfott (Univ. of Louisiana - Lafayette, US)
  • Andrés Kecskeméthy (Universität Duisburg-Essen, DE)
  • Michel Kieffer (Supélec - Gif-sur-Yvette, FR)
  • Walter Krämer (Bergische Universität Wuppertal, DE)
  • Vladik Kreinovich (University of Texas - El Paso, US) [dblp]
  • Ulrich W. Kulisch (KIT - Karlsruher Institut für Technologie, DE)
  • Bruno Lang (Bergische Universität Wuppertal, DE)
  • David Lester (University of Manchester, GB)
  • Wolfram Luther (Universität Duisburg-Essen, DE) [dblp]
  • Mihaly Markot (ESA - Noordwijk, NL)
  • Günter Mayer (Universität Rostock, DE)
  • Norbert T. Müller (Universität Trier, DE) [dblp]
  • Markus Neher (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Arnold Neumaier (Universität Wien, AT) [dblp]
  • Shin'ichi Oishi (Waseda Univ. / JST - Tokyo, JP) [dblp]
  • Knut Petras (Bergische Universität Wuppertal, DE)
  • Michael Plum (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Sylvie Putot (CEA - Gif sur Yvette, FR) [dblp]
  • Nathalie Revol (ENS - Lyon, FR) [dblp]
  • Fabien Rico (UPMC - Paris, FR)
  • Siegfried M. Rump (TU Hamburg-Harburg, DE) [dblp]
  • Uwe Schäfer (KIT - Karlsruher Institut für Technologie, DE)
  • Hermann Schichl (Technische Universität Wien, AT)
  • Andrew Smith (FH Konstanz, DE)
  • Niyaz Sulayman (KIT - Karlsruher Institut für Technologie, DE)
  • Jean-Honoré Tapamo Kahou (Bergische Universität Wuppertal, DE)
  • Bernd Tibken (Universität Wuppertal, DE)
  • Holger Traczinski (Universität Duisburg-Essen, DE)
  • Wolfgang von Walter (TU Dresden, DE)
  • Eric Walter (Supélec - Gif-sur-Yvette, FR)
  • Jürgen Wolff von Gudenberg (Universität Würzburg, DE)