Skip to main content
Book cover

Scientific Computing, Validated Numerics, Interval Methods

  • Book
  • © 2001

Overview

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. SCAN 2000 Keynote Address the Future of Intervals

  2. Software- and Hardware-Tools

  3. Polynomials

  4. Set Enclosures

Keywords

About this book

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 former Interval conferences focusing on interval methods and their application in science and engineering. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. The symposium was held in Karlsruhe the European cradle of interval arithmetic and self-validating numerics and attracted 193 researchers from 33 countries. 12 invited and 153 contributed talks were given. But not only the quantity was overwhelming we were deeply impressed by the emerging maturity of our discipline. There were many talks discussing a wide variety of serious applications stretching all parts of mathematical modelling. New efficient, publicly available or even commercial tools were proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened.

Editors and Affiliations

  • University of Wuppertal, Wuppertal, Germany

    Walter Krämer

  • University of Würzburg, Würzburg, Germany

    Jürgen Wolff Gudenberg

Bibliographic Information

  • Book Title: Scientific Computing, Validated Numerics, Interval Methods

  • Editors: Walter Krämer, Jürgen Wolff Gudenberg

  • DOI: https://doi.org/10.1007/978-1-4757-6484-0

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 2001

  • Hardcover ISBN: 978-0-306-46706-6Published: 31 December 2001

  • Softcover ISBN: 978-1-4419-3376-8Published: 01 December 2010

  • eBook ISBN: 978-1-4757-6484-0Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: X, 398

  • Topics: Programming Techniques, Theory of Computation, Numeric Computing, Algorithms

Publish with us