Dagstuhl Seminar Proceedings 06021

Reliable Implementation of Real Number Algorithms: Theory and Practice

P. Hertling, C. M. Hoffmann, W. Luther, N. Revol (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06021, 08.01. - 13.01.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Brönnimann, Hervé
  • Corliss, George F.
  • Eigenwillig, Arno
  • Foufou, Sebti
  • Hertling, Peter
  • Hoffmann, Christoph M.
  • Kearfott, R. Baker
  • Kettner, Lutz
  • Korovina, Margarita
  • Krandick, Werner
  • Lambov, Branimir
  • Lefèvre, Vincent
  • Luther, Wolfram
  • Mehlhorn, Kurt
  • Melquiond, Guillaume
  • Michelucci, Dominique
  • Moore, Edward L. F.
  • Moreau, Jean Michel
  • Nedialkov, Ned
  • Peters, Thomas J.
  • Pion, Sylvain
  • Pryce, John D.
  • Revol, Nathalie
  • Schmitt, Susanne
  • Smith, Spencer
  • Stehlé, Damien
  • Stewart, Neil
  • Vorobjov, Nicolai
  • Wolpert, Nicola
  • Zidani, Malika
  • Zimmermann, Paul

  •   
    06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice
    Authors: Hertling, Peter ; Hoffmann, Christoph M. ; Luther, Wolfram ; Revol, Nathalie

    Abstract | Document (223 KB) | BibTeX

    06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice
    Authors: Hertling, Peter ; Hoffmann, Christoph M. ; Luther, Wolfram ; Revol, Nathalie

    Abstract | Document (107 KB) | BibTeX

    A Descartes Algorithms for Polynomials with Bit-Stream Coefficients
    Authors: Mehlhorn, Kurt ; Eigenwillig, Arno ; Kettner, Lutz ; Krandick, Werner ; Schmitt, Susanne ; Wolpert, Nicola

    Abstract | Document (211 KB) | BibTeX

    A Proposal to add Interval Arithmetic to the C++ Standard Library
    Authors: Pion, Sylvain ; Brönnimann, Hervé ; Melquiond, Guillaume

    Abstract | Document (158 KB) | BibTeX

    Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization
    Authors: Peters, Thomas J. ; Moore, Edward L. F.

    Abstract | Document (283 KB) | BibTeX

    Interval Arithmetic Using SSE-2
    Authors: Lambov, Branimir

    Abstract | Document (209 KB) | BibTeX

    Interval Subroutine Library Mission
    Authors: Corliss, George F. ; Kearfott, R. Baker ; Nedialkov, Ned ; Pryce, John D. ; Smith, Spencer

    Abstract | Document (185 KB) | BibTeX

    Robustness and Randomness
    Authors: Michelucci, Dominique ; Moreau, Jean Michel ; Foufou, Sebti

    Abstract | Document (1,648 KB) | BibTeX

    Transfinite interpolation for well-definition in error analysis in solid modelling
    Authors: Stewart, Neil ; Zidani, Malika

    Abstract | Document (191 KB) | BibTeX

    Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
    Authors: Korovina, Margarita ; Vorobjov, Nicolai

    Abstract | Document (227 KB) | BibTeX

    Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
    Authors: Lefèvre, Vincent ; Stehlé, Damien ; Zimmermann, Paul

    Abstract | Document (203 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI