Name: Float
Title: Library for floating point numbers
Author: Laurent Théry
Institution: INRIA Sophia-Antipolis
Author: Sylvie Boldo
Institution: ENS Lyon
Date: 2001
Description: A library for floating point numbers.

Keywords: floating point arithmetic

Category: Computer Science/Data Types and Data Structures
