Search
for Author
All Reviews
Melquiond, Guillaume
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
Boldo S., Melquiond G., ISTE Press - Elsevier, London, UK, 2017. 326 pp. Type: Book (978-1-785481-12-3)
The audience for this superlatively researched and crafted book includes postgraduate students and practitioners of floating-point (FP) computation or formal verification. The authors “sincerely hope that, after reading this ...
...
Aug 8 2018
The design of the Boost interval arithmetic library
Brönnimann H., Melquiond G., Pion S. Theoretical Computer Science 351(1): 111-118, 2006. Type: Article
Interval arithmetic extends computational arithmetic from numbers to intervals. This approach plays an important role in several domains, for instance, constrained global optimization, integrating measurement errors, and monitoring rou...
...
Oct 11 2006
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy