Scientific Computing, Computer Arithmetic, and Validated Numerics

16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

  • Marco Nehmeier
  • Jürgen Wolff von Gudenberg
  • Warwick Tucker
Conference proceedings SCAN 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9553)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Interval Arithmetic and Interval Functions

    1. Front Matter
      Pages 1-1
    2. Roumen Anguelov, Svetoslav Markov
      Pages 3-13
    3. Olga Kupriianova, Christoph Lauter
      Pages 14-22
  3. Uncertainty

  4. Linear Algebra

    1. Front Matter
      Pages 97-97
    2. Chemseddine Chohra, Philippe Langlois, David Parello
      Pages 99-108
    3. David Hartman, Milan Hladík
      Pages 109-115
    4. Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
      Pages 126-137
  5. Global Optimisation

    1. Front Matter
      Pages 169-169
  6. Dynamical Systems

    1. Front Matter
      Pages 199-199
    2. Luc Jaulin, Daniel Lopez, Vincent Le Doze, Stéphane Le Menec, Jordan Ninin, Gilles Chabert et al.
      Pages 209-224
    3. Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
      Pages 225-235
    4. Andreas Rauh, Luise Senkel, Harald Aschemann
      Pages 236-246
    5. Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer
      Pages 247-256
  7. PDE

  8. Back Matter
    Pages 281-291

About these proceedings


This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.

The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.


Interval arithmetic Interval functions Linear algebra Interval linear systems global optimization dynamcial systems

Editors and affiliations

  • Marco Nehmeier
    • 1
  • Jürgen Wolff von Gudenberg
    • 2
  • Warwick Tucker
    • 3
  1. 1.Institute of Computer ScienceUniversity of Würzburg Institute of Comp ScienceWürzburgGermany
  2. 2.Universität WürzburgWürzburgGermany
  3. 3.Department of MathematicsUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-31768-7
  • Online ISBN 978-3-319-31769-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site