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. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 06021- 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.
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team