Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Melquiond, Guillaume Add to Alert Profile  
 
Options:
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  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy