Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, and Nathalie Revol. 06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, and Nathalie Revol. 06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, and Nicola Wolpert. A Descartes Algorithms for Polynomials with Bit-Stream Coefficients. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Sylvain Pion, Hervé Brönnimann, and Guillaume Melquiond. A Proposal to add Interval Arithmetic to the C++ Standard Library. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Thomas J. Peters and Edward L. F. Moore. Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Branimir Lambov. Interval Arithmetic Using SSE-2. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
George F. Corliss, R. Baker Kearfott, Ned Nedialkov, John D. Pryce, and Spencer Smith. Interval Subroutine Library Mission. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Dominique Michelucci, Jean Michel Moreau, and Sebti Foufou. Robustness and Randomness. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Neil Stewart and Malika Zidani. Transfinite interpolation for well-definition in error analysis in solid modelling. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Margarita Korovina and Nicolai Vorobjov. Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
Vincent Lefèvre, Damien Stehlé, and Paul Zimmermann. Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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} }
Feedback for Dagstuhl Publishing