Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jean-Christophe Filliâtre : Creal
Constructive reals OCaml library
Creal is an exact real arithmetic library (constructive reals)
for ocaml
Creal actually contains two different implementations :
The two interfaces are almost identical, so that it is easy to
switch from one to the other, unless your are using the
approx function directly: in Creal, it gives an approximation
up to 1/4^n, and in Cr up to 2^n
Both implementation are based on
mlgmp
by David Monniaux
(included in the tarball below)