Theoretical Computer Science and General Issues

Reliable Implementation of Real Number Algorithms: Theory and Practice

International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

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

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-85521-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-85520-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006.

The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.

Table of contents (12 chapters)

  • Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

    Auer, Ekaterina (et al.)

    Pages 1-27

  • Interval Subroutine Library Mission

    Corliss, George F. (et al.)

    Pages 28-43

  • Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations

    Dyllong, Eva

    Pages 44-56

  • Real Algebraic Numbers: Complexity Analysis and Experimentation

    Emiris, Ioannis Z. (et al.)

    Pages 57-82

  • Verified Methods in Stochastic Traffic Modelling

    Kempken, Sebastian (et al.)

    Pages 83-101

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-85521-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-85520-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Implementation of Real Number Algorithms: Theory and Practice
Book Subtitle
International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
Editors
  • Peter Hertling
  • Christoph M. Hoffmann
  • Wolfram Luther
  • Nathalie Revol
Series Title
Theoretical Computer Science and General Issues
Series Volume
5045
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-85521-7
DOI
10.1007/978-3-540-85521-7
Softcover ISBN
978-3-540-85520-0
Edition Number
1
Number of Pages
XI, 239
Topics