English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-announce] exact real arithmetic
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-11-02 (10:33)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: [Caml-announce] exact real arithmetic

This is to announce an  exact real arithmetic module for ocaml, called
Creal (for Constructive Reals). It is available from here:


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

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)