* [Caml-announce] exact real arithmetic
@ 2001-11-02 10:32 Jean-Christophe Filliatre
0 siblings, 0 replies; only message in thread
From: Jean-Christophe Filliatre @ 2001-11-02 10:32 UTC (permalink / raw)
To: caml-announce
This is to announce an exact real arithmetic module for ocaml, called
Creal (for Constructive Reals). It is available from here:
http://www.lri.fr/~filliatr/software.en.html
This module provides an abstract data type of real numbers, on which
all operations are exact, and return immediately. When necessary, one
can ask for an approximation of a real number to a given precision and
this triggers all the actual computations, including approximations of
some operands to higher precisions if necessary.
This implementation is based on Valérie Ménissier-Morain PhD thesis
(http://www-calfor.lip6.fr/~vmm/arith_english.html)
The tarball includes an ocaml interface to GMP (GNU Multi Precision
library), mainly written by David Monniaux.
Comments and suggestions are welcome.
--
Jean-Christophe Filliatre (http://www.lri.fr/~filliatr)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2001-11-02 10:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-11-02 10:32 [Caml-announce] exact real arithmetic Jean-Christophe Filliatre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).