Wolfram Luther, Annie Cuyt, Walter Krämer, and Peter Markstein. 08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{luther_et_al:DagSemProc.08021.1, author = {Luther, Wolfram and Cuyt, Annie and Kr\"{a}mer, Walter and Markstein, Peter}, title = {{08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--31}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.1}, URN = {urn:nbn:de:0030-drops-14785}, doi = {10.4230/DagSemProc.08021.1}, annote = {Keywords: Computer arithmetic, arbitrary precision, floating-point arithmetic standardization, language support, reliable libraries,high-precision special functions, reliablealgorithms, reliable floating-point and interval computing on different platforms} }
Annie Cuyt, Walter Krämer, Wolfram Luther, and Peter Markstein. 08021 Summary – Numerical Validation in Current Hardware Architectures. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{cuyt_et_al:DagSemProc.08021.2, author = {Cuyt, Annie and Kr\"{a}mer, Walter and Luther, Wolfram and Markstein, Peter}, title = {{08021 Summary – Numerical Validation in Current Hardware Architectures}}, booktitle = {Numerical Validation in Current Hardware Architectures}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.2}, URN = {urn:nbn:de:0030-drops-14334}, doi = {10.4230/DagSemProc.08021.2}, annote = {Keywords: Computer arithmetic, arbitrary precision, floating-point arithmetic standardization, language support, reliable libraries, high-precision special functions, reliablealgorithms, reliable floating-point and interval computing on different platforms} }
Frithjof Blomquist, Werner Hofschuster, and Walter Krämer. A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{blomquist_et_al:DagSemProc.08021.3, author = {Blomquist, Frithjof and Hofschuster, Werner and Kr\"{a}mer, Walter}, title = {{A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.3}, URN = {urn:nbn:de:0030-drops-14454}, doi = {10.4230/DagSemProc.08021.3}, annote = {Keywords: Staggered correction, multiple precision, C-XSC, interval computation, wide exponent range, reliable numerical computations, complex interval funct} }
Mariana Kolberg, Walter Krämer, and Michael Zimmer. A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kolberg_et_al:DagSemProc.08021.4, author = {Kolberg, Mariana and Kr\"{a}mer, Walter and Zimmer, Michael}, title = {{A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.4}, URN = {urn:nbn:de:0030-drops-14479}, doi = {10.4230/DagSemProc.08021.4}, annote = {Keywords: C-XSC, reliable computing, 100-digit challenge, reliable linear system solver, high performance computing, large dense linear systems} }
Eva Dyllong. A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{dyllong:DagSemProc.08021.5, author = {Dyllong, Eva}, title = {{A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.5}, URN = {urn:nbn:de:0030-drops-14408}, doi = {10.4230/DagSemProc.08021.5}, annote = {Keywords: Reliable solid modeling, hierarchical data structure} }
Gregorio de Miguel Casado and Juan Manuel García Chamizo. A Software Library for Reliable Online-Arithmetic with Rational Numbers. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{demiguelcasado_et_al:DagSemProc.08021.6, author = {de Miguel Casado, Gregorio and Garc{\'\i}a Chamizo, Juan Manuel}, title = {{A Software Library for Reliable Online-Arithmetic with Rational Numbers}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.6}, URN = {urn:nbn:de:0030-drops-14392}, doi = {10.4230/DagSemProc.08021.6}, annote = {Keywords: Computable analysis, online-arithmetic, rational numbers} }
Werner Hofschuster, Walter Krämer, and Markus Neher. C-XSC and Closely Related Software Packages. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hofschuster_et_al:DagSemProc.08021.7, author = {Hofschuster, Werner and Kr\"{a}mer, Walter and Neher, Markus}, title = {{C-XSC and Closely Related Software Packages}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.7}, URN = {urn:nbn:de:0030-drops-14425}, doi = {10.4230/DagSemProc.08021.7}, annote = {Keywords: Mathematical software, reliable computing, C-XSC, CoStLy, ACETAF} }
Ulrich Kulisch. Complete Interval Arithmetic and its Implementation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kulisch:DagSemProc.08021.8, author = {Kulisch, Ulrich}, title = {{Complete Interval Arithmetic and its Implementation}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.8}, URN = {urn:nbn:de:0030-drops-14461}, doi = {10.4230/DagSemProc.08021.8}, annote = {Keywords: Interval Arithmetic, implementation} }
Michel Kieffer. Distributed parameter and state estimation in a network of sensors. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kieffer:DagSemProc.08021.9, author = {Kieffer, Michel}, title = {{Distributed parameter and state estimation in a network of sensors}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.9}, URN = {urn:nbn:de:0030-drops-14440}, doi = {10.4230/DagSemProc.08021.9}, annote = {Keywords: Parameter estimation, state estimation, bounded errors, nonlinear estimation} }
Markus Grimmer. Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{grimmer:DagSemProc.08021.10, author = {Grimmer, Markus}, title = {{Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.10}, URN = {urn:nbn:de:0030-drops-14416}, doi = {10.4230/DagSemProc.08021.10}, annote = {Keywords: C-XSC, Integral Equations, Interval Arithmetic, Maple, MPI, Parallel Environment, Taylor Arithmetic, Verified Linear System Solver.} }
Michael Zimmer and Walter Krämer. Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{zimmer_et_al:DagSemProc.08021.11, author = {Zimmer, Michael and Kr\"{a}mer, Walter}, title = {{Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.11}, URN = {urn:nbn:de:0030-drops-14365}, doi = {10.4230/DagSemProc.08021.11}, annote = {Keywords: Error-free transformations, K-fold accuracy, accurate dot product, C-XSC, high accuracy, dense linear systems, verified computation.} }
Paul Zimmermann. Implementation of the reciprocal square root in MPFR. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{zimmermann:DagSemProc.08021.12, author = {Zimmermann, Paul}, title = {{Implementation of the reciprocal square root in MPFR}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.12}, URN = {urn:nbn:de:0030-drops-14357}, doi = {10.4230/DagSemProc.08021.12}, annote = {Keywords: Multiple precision, floating-point, inverse square root, correct rounding, MPFR library} }
Mariana Kolberg, Gerd Bohlender, and Dalcidio Claudio. Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kolberg_et_al:DagSemProc.08021.13, author = {Kolberg, Mariana and Bohlender, Gerd and Claudio, Dalcidio}, title = {{Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.13}, URN = {urn:nbn:de:0030-drops-14386}, doi = {10.4230/DagSemProc.08021.13}, annote = {Keywords: Linear systems, result verification, parallel computing} }
Jürgen Wolff von Gudenberg. Interval Arithmetic and Standardization. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{wolffvongudenberg:DagSemProc.08021.14, author = {Wolff von Gudenberg, J\"{u}rgen}, title = {{Interval Arithmetic and Standardization}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.14}, URN = {urn:nbn:de:0030-drops-14342}, doi = {10.4230/DagSemProc.08021.14}, annote = {Keywords: Intervals, containment sets, IEEE754r} }
Ekaterina Auer and Wolfram Luther. Numerical Verification Assessment in Computational Biomechanics. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{auer_et_al:DagSemProc.08021.15, author = {Auer, Ekaterina and Luther, Wolfram}, title = {{Numerical Verification Assessment in Computational Biomechanics}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.15}, URN = {urn:nbn:de:0030-drops-14374}, doi = {10.4230/DagSemProc.08021.15}, annote = {Keywords: Numerical verification assessment, validation, uncertainty, result verification} }
Evgenija D. Popova. On the Interoperability between Interval Software. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{popova:DagSemProc.08021.16, author = {Popova, Evgenija D.}, title = {{On the Interoperability between Interval Software}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.16}, URN = {urn:nbn:de:0030-drops-14501}, doi = {10.4230/DagSemProc.08021.16}, annote = {Keywords: Software interoperability, interfacing, interval software, C-XSC, MathLink, Mathematica} }
Di Jiang and Neil Stewart. Robustness of Boolean operations on subdivision-surface models. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{jiang_et_al:DagSemProc.08021.17, author = {Jiang, Di and Stewart, Neil}, title = {{Robustness of Boolean operations on subdivision-surface models}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.17}, URN = {urn:nbn:de:0030-drops-14435}, doi = {10.4230/DagSemProc.08021.17}, annote = {Keywords: Robustness, finite-precision arithmetic, Boolean operations, subdivision surfaces} }
John D. Pryce, George C. Corliss, R. Baker Kearfott, Ned S. Nedialkov, and Spencer Smith. Second Note on Basic Interval Arithmetic for IEEE754R. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{pryce_et_al:DagSemProc.08021.18, author = {Pryce, John D. and Corliss, George C. and Kearfott, R. Baker and Nedialkov, Ned S. and Smith, Spencer}, title = {{Second Note on Basic Interval Arithmetic for IEEE754R}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.18}, URN = {urn:nbn:de:0030-drops-14517}, doi = {10.4230/DagSemProc.08021.18}, annote = {Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval} }
Markus Neher. The CoStLy C++ Class Library. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{neher:DagSemProc.08021.19, author = {Neher, Markus}, title = {{The CoStLy C++ Class Library}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.19}, URN = {urn:nbn:de:0030-drops-14495}, doi = {10.4230/DagSemProc.08021.19}, annote = {Keywords: Complex interval arithmetic, inclusion functions} }
Peter Markstein. The New IEEE-754 Standard for Floating Point Arithmetic. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{markstein:DagSemProc.08021.20, author = {Markstein, Peter}, title = {{The New IEEE-754 Standard for Floating Point Arithmetic}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.20}, URN = {urn:nbn:de:0030-drops-14481}, doi = {10.4230/DagSemProc.08021.20}, annote = {Keywords: Floating point arithmetic, standards} }
Andreas Rauh, Johanna Minisini, and Eberhard P. Hofer. Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{rauh_et_al:DagSemProc.08021.21, author = {Rauh, Andreas and Minisini, Johanna and Hofer, Eberhard P.}, title = {{Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.21}, URN = {urn:nbn:de:0030-drops-14529}, doi = {10.4230/DagSemProc.08021.21}, annote = {Keywords: Interval techniques, \{sc\{ValEncIA-IVP\}\}, controller design, robustness, validated integration of ODEs, parameter uncertainties, sensitivity analysis} }