coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] float numbers
- Date: Tue, 15 Aug 2017 09:36:30 +0200
Hi,
there is the floqc library
http://flocq.gforge.inria.fr/
I have been given a course on how to use this library, the lectures are
here:
ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/FloatingPoint/index.html
It is not covering completely your specific question on using floating
point to perform effective computation. Guillaume Melquiond
(guillaume.melquiond AT inria.fr)
is the right person to contact.
--
Laurent
- [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
- RE: [Coq-Club] float numbers, Kate Fairchild, 08/16/2017
Archive powered by MHonArc 2.6.18.