coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: karsar <karen.sarkisyan AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] float numbers
Date: Sun, 20 Aug 2017 14:50:30 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=karen.sarkisyan AT gmail.com; spf=Pass smtp.mailfrom=karen.sarkisyan AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f44.google.com
Ironport-phdr: 9a23:i0UnjhFjr86/WOqfsjOB6p1GYnF86YWxBRYc798ds5kLTJ76osmwAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVTx74LE9+Ivn/Mo/UlcW+ke6oqLPJZAAdhzOnerpoZEG1pB/csI8NiJFhK70gwx3hrX5BeuAQzmRtcwHA1y3g79u9qcYwux9bvOgsopZN

Many thanks, Laurent

Your tutorial is something I've wanted to start with.

I'm still in process of understanding of what I need from float number computations

and as soon as I have a better understanding, I'll try to contact Guillaume

to understand which one to choose among Flocq and Interval libraries.

By the way, may I assume that "Computer Arithmetic and Formal Proofs" book

covers exactly topics I'm interested?

Best regards,

Karen Sargsyan

[Coq-Club] float numbers, karsar, 08/15/2017
- Re: [Coq-Club] float numbers, Laurent Thery, 08/15/2017
- Re: [Coq-Club] float numbers, Guillaume Melquiond, 08/16/2017
  - RE: [Coq-Club] float numbers, Kate Fairchild, 08/16/2017
    - Re: [Coq-Club] float numbers, karsar, 08/20/2017