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

DOI: 10.1007/978-3-319-31769-4

Part of the Lecture Notes in Computer Science book series (LNCS, 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

About these proceedings

Introduction

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.

Keywords

Computer Science Informatics Conference Proceedings Research Applications

Editors and affiliations

  • Marco Nehmeier
    • 1
  • Jürgen Wolff von Gudenberg
    • 2
  • Warwick Tucker
    • 3
  1. 1.Institute of Computer ScienceUniversity of WürzburgWürzburgGermany
  2. 2.Universität WürzburgWürzburgGermany
  3. 3.Uppsala UniversityDepartment of MathematicsUppsalaSweden

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-31768-7
  • Online ISBN 978-3-319-31769-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349