@InProceedings{hertling_et_al:DagSemProc.06021.1,
author = {Hertling, Peter and Hoffmann, Christoph M. and Luther, Wolfram and Revol, Nathalie},
title = {{06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.1},
URN = {urn:nbn:de:0030-drops-7491},
doi = {10.4230/DagSemProc.06021.1},
annote = {Keywords: Real number algorithms, reliable implementation}
}
@InProceedings{hertling_et_al:DagSemProc.06021.2,
author = {Hertling, Peter and Hoffmann, Christoph M. and Luther, Wolfram and Revol, Nathalie},
title = {{06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.2},
URN = {urn:nbn:de:0030-drops-7117},
doi = {10.4230/DagSemProc.06021.2},
annote = {Keywords: Real number computability, real number algorithms, reliable computing, algorithms with result verification, interval arithmetic, geometric computing, robustness, solid modeling}
}
@InProceedings{mehlhorn_et_al:DagSemProc.06021.3,
author = {Mehlhorn, Kurt and Eigenwillig, Arno and Kettner, Lutz and Krandick, Werner and Schmitt, Susanne and Wolpert, Nicola},
title = {{A Descartes Algorithms for Polynomials with Bit-Stream Coefficients}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.3},
URN = {urn:nbn:de:0030-drops-7157},
doi = {10.4230/DagSemProc.06021.3},
annote = {Keywords: Root Isolation, Interval Arithmetic, Descartes Algorithm}
}
@InProceedings{pion_et_al:DagSemProc.06021.4,
author = {Pion, Sylvain and Br\"{o}nnimann, Herv\'{e} and Melquiond, Guillaume},
title = {{A Proposal to add Interval Arithmetic to the C++ Standard Library}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--25},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.4},
URN = {urn:nbn:de:0030-drops-7189},
doi = {10.4230/DagSemProc.06021.4},
annote = {Keywords: Interval arithmetic, C++, ISO standard}
}
@InProceedings{peters_et_al:DagSemProc.06021.5,
author = {Peters, Thomas J. and Moore, Edward L. F.},
title = {{Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.5},
URN = {urn:nbn:de:0030-drops-7176},
doi = {10.4230/DagSemProc.06021.5},
annote = {Keywords: Geometry, algorithm, visualization}
}
@InProceedings{lambov:DagSemProc.06021.6,
author = {Lambov, Branimir},
title = {{Interval Arithmetic Using SSE-2}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.6},
URN = {urn:nbn:de:0030-drops-7140},
doi = {10.4230/DagSemProc.06021.6},
annote = {Keywords: Interval Arithmetic, SSE2}
}
@InProceedings{corliss_et_al:DagSemProc.06021.7,
author = {Corliss, George F. and Kearfott, R. Baker and Nedialkov, Ned and Pryce, John D. and Smith, Spencer},
title = {{Interval Subroutine Library Mission}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.7},
URN = {urn:nbn:de:0030-drops-7122},
doi = {10.4230/DagSemProc.06021.7},
annote = {Keywords: Subroutine library, problem-solving library, C++ interval standard}
}
@InProceedings{michelucci_et_al:DagSemProc.06021.8,
author = {Michelucci, Dominique and Moreau, Jean Michel and Foufou, Sebti},
title = {{Robustness and Randomness}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--23},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.8},
URN = {urn:nbn:de:0030-drops-7167},
doi = {10.4230/DagSemProc.06021.8},
annote = {Keywords: Robustness, interval, randomness, inaccuracy, geometric computation}
}
@InProceedings{stewart_et_al:DagSemProc.06021.9,
author = {Stewart, Neil and Zidani, Malika},
title = {{Transfinite interpolation for well-definition in error analysis in solid modelling}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.9},
URN = {urn:nbn:de:0030-drops-7195},
doi = {10.4230/DagSemProc.06021.9},
annote = {Keywords: Forward/backward error analysis, robustness, well-definition, trimmed NURBS, combined subdivision, trimming, bounds on normals}
}
@InProceedings{korovina_et_al:DagSemProc.06021.10,
author = {Korovina, Margarita and Vorobjov, Nicolai},
title = {{Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.10},
URN = {urn:nbn:de:0030-drops-7130},
doi = {10.4230/DagSemProc.06021.10},
annote = {Keywords: Hybrid systems, Pfaffian functions, bisimulation}
}
@InProceedings{lefevre_et_al:DagSemProc.06021.11,
author = {Lef\`{e}vre, Vincent and Stehl\'{e}, Damien and Zimmermann, Paul},
title = {{Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.11},
URN = {urn:nbn:de:0030-drops-7483},
doi = {10.4230/DagSemProc.06021.11},
annote = {Keywords: Floating-point arithmetic, decimal arithmetic, table maker's dilemma, correct rounding, elementary functions}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing