default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOutcome of Dagstuhl Seminars: Reliable Implementation of Real Number Algorithms 2008
- Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Lecture Notes in Computer Science 5045, Springer 2008, ISBN 978-3-540-85520-0 - Ekaterina Auer
, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther:
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. 1-27 - George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith:
Interval Subroutine Library Mission. 28-43 - Eva Dyllong:
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. 44-56 - Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas:
Real Algebraic Numbers: Complexity Analysis and Experimentation. 57-82 - Sebastian Kempken, Wolfram Luther:
Verified Methods in Stochastic Traffic Modelling. 83-101 - Branimir Lambov:
Interval Arithmetic Using SSE-2. 102-113 - Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. 114-126 - Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou:
Robustness and Randomness. 127-148 - Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell:
Topological Neighborhoods for Spline Curves: Practice & Theory. 149-161 - Vadim Shapiro:
Homotopy Conditions for Tolerant Geometric Queries. 162-180 - Neil F. Stewart, Malika Zidani:
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. 181-192 - Chee-Keng Yap:
Theory of Real Computation According to EGC. 193-237
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 2025-02-11 23:50 CET 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:
