Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Paperback(1st ed. 2017)

$59.99
Choose Expedited Shipping at checkout for guaranteed delivery by Friday, April 26

Product Details

ISBN-13: 9783319635002
Publisher: Springer International Publishing
Publication date: 08/16/2017
Series: Lecture Notes in Computer Science , #10381
Edition description: 1st ed. 2017
Pages: 115
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

Verified Computations using Taylor Models and Their Applications.- Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.- Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers.- Sound Numerical Computations in Abstract Acceleration.- Studying the numerical quality of an industrial computing code: a case study on Code_Aster.- Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.- A Study of Model-Order Reduction Techniques for Verification.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews