Dagstuhl Seminar Proceedings:
Reliable Implementation of Real Number Algorithms 2006
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.):
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006.
Dagstuhl Seminar Proceedings 06021 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.

- George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith:
Interval Subroutine Library Mission.

- Margarita V. Korovina, Nicolai Vorobjov:
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems.

- Branimir Lambov:
Interval Arithmetic Using SSE-2.

- Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert:
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients.

- Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou:
Robustness and Randomness.

- Thomas J. Peters, Edward L. F. Moore:
Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization.

- Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond:
A Proposal to add Interval Arithmetic to the C++ Standard Library.

- Neil F. Stewart, Malika Zidani:
Transfinite interpolation for well-definition in error analysis in solid modelling.

- Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.

- Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.

Last update Fri May 24 02:21:24 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page