Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] float numbers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] float numbers


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page