Skip to Content.
Sympa Menu

coq-club - RE: [Coq-Club] Best bet for computing with floats

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Best bet for computing with floats


Chronological Thread 
  • From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: RE: [Coq-Club] Best bet for computing with floats
  • Date: Mon, 4 Dec 2017 10:01:34 +0000
  • Accept-language: de-DE, en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga03.intel.com
  • Dlp-product: dlpe-windows
  • Dlp-reaction: no-action
  • Dlp-version: 11.0.0.116
  • Ironport-phdr: 9a23:RDNHBRJLqHb0dtPpNNmcpTZWNBhigK39O0sv0rFitYgXI/3xwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uHQZHQy6Pg5oLMz0HJTThoK5zar6r5bUekBDgCe3SbJ0NhS/6wvL4Jo4m4xnf+wKzRbGvmFPY6Ae4GJjJVuem1y0ssKx955q/iAWoPUs+NJaVr3SfqIkQLgeBzMjZTNmrPb3vAXOGFPcrkAXVX8bx0JF

Dear Kevin,

 

Did you see the book announcement on the topic from last week:

 

We are very pleased to announce the recent publication of our book "Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System" (authors: Sylvie Boldo and Guillaume Melquiond, 326 pages, ISTE press -- Elsevier).

 

http://iste.co.uk/book.php?id=1238

 

Best regards,

 

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


Archive powered by MHonArc 2.6.18.

Top of Page