default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Proceedings: Reliable Implementation of Real Number Algorithms 2006
- Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
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 N. Vorobjov Jr.:
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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
