Creal
An exact real arithmetic module for OCaml.
[ Homepage ]
| Author: | Jean-Christophe Filliâtre and David Monniaux. |
| Last modification date: | 07-Nov-2005 |
| Version: | 0.7 |
| Development status: | Beta |
| Kind: | Libraries :: Bindings with C libraries |
| License: | Open Source :: LGPL |
| Topic: | General purpose libraries :: Numeric computation |
| Homepage: | http://www.lri.fr/~filliatr/software.en.html |