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: Kevin Sullivan <sullivan.kevinj AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Best bet for computing with floats
  • Date: Mon, 4 Dec 2017 08:54:01 -0500
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sullivan.kevinj AT gmail.com; spf=Pass smtp.mailfrom=sullivan.kevinj AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f45.google.com
  • Ironport-phdr: 9a23:6gJHfRTLnmxiLtr3Nc1A52mxoNpsv+yvbD5Q0YIujvd0So/mwa67YheN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnZBUin4YAFyP6H+HpPYp8WxzeG7vZPJMCtSgz/oQr5sLRP+lhjVssgIiI0qfr0szh/IvHJOPedb22JuJ3qcmh/94oG7+5s1oHcYgO4o68MVCfayRK8/V7ENVDk=
I did not see that -- too much mail, but thank you very much for pointing it out!! --Kevin

On Mon, Dec 4, 2017 at 5:01 AM, Soegtrop, Michael <michael.soegtrop AT intel.com> wrote:

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