| No. |
Title |
Author |
Year |
| 1 |
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |
| 2 |
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |
| 3 |
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients |
Mehlhorn, Kurt et al. |
2006 |
| 4 |
A Proposal to add Interval Arithmetic to the C++ Standard Library |
Pion, Sylvain et al. |
2006 |
| 5 |
Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization |
Peters, Thomas J. et al. |
2006 |
| 6 |
Interval Arithmetic Using SSE-2 |
Lambov, Branimir |
2006 |
| 7 |
Interval Subroutine Library Mission |
Corliss, George F. et al. |
2006 |
| 8 |
Robustness and Randomness |
Michelucci, Dominique et al. |
2006 |
| 9 |
Transfinite interpolation for well-definition in error analysis in solid modelling |
Stewart, Neil et al. |
2006 |
| 10 |
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems |
Korovina, Margarita et al. |
2006 |
| 11 |
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format |
Lefèvre, Vincent et al. |
2006 |
