Implementing an interval computation library for OCaml on x86/amd64 architectures
Résumé
In this paper, we present two implementations of interval arithmetic for OCaml on x86/amd64 architectures. The first implementation is a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating-point arithmetic and multi-precision floating-point intervalarithmetic. The second implementation has been natively written in assembly language for low-level functions and in OCaml for higher-levelfunctions. It has proven as fast as classical C or C++ implementations.
Domaines
Optimisation et contrôle [math.OC]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...