Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

  • Annie Cuyt
  • Walter Krämer
  • Wolfram Luther
  • Peter Markstein
Conference proceedings

DOI: 10.1007/978-3-642-01591-5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5492)

Table of contents (16 papers)

  1. Front Matter
  2. Standardization/Hardware

  3. Tools

    1. Continued Fractions for Special Functions: Handbook and Software
      Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun
      Pages 27-40
    2. A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
      Frithjof Blomquist, Werner Hofschuster, Walter Krämer
      Pages 41-67
    3. C-XSC and Closely Related Software Packages
      Werner Hofschuster, Walter Krämer, Markus Neher
      Pages 68-102
  4. Applications

  5. Linear Systems

    1. Error-Free Transformation in Rounding Mode toward Zero
      Stef Graillat, Jean-Luc Lamotte, Diep Nguyen Hong
      Pages 217-229
    2. A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
      Mariana Kolberg, Walter Krämer, Michael Zimmer
      Pages 250-261
  6. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Keywords

C-XSC CAD IEEE 754 IEEE 854 biomechanics continued fractions filib floating point interval arithmetic mathematica multiple precision arithmetic sensor networks solid modeling subdivision surfaces verification

Editors and affiliations

  • Annie Cuyt
    • 1
  • Walter Krämer
    • 2
  • Wolfram Luther
    • 3
  • Peter Markstein
    • 4
  1. 1.Department of Mathematics and Computer ScienceUniversiteit AntwerpenAntwerpenBelgium
  2. 2.Wissenschaftliches Rechnen/SoftwaretechnologieBergische Universität WuppertalWuppertalGermany
  3. 3.Fakultät Ingenieurwissenschaften, Abteilung Informatik und Angewandte KognitionswissenschaftUniversität Duisburg-EssenDuisburgGermany
  4. 4. WoodsideUSA

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01590-8
  • Online ISBN 978-3-642-01591-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349