LINA
Software development (mostly FLOSS) of the LINA (Nantes Atlantic Computer Science laboratory).
-
: Lab-STICC, LIGM, LINA, LIRMM, OSM - : CNRS, ENPC, ENSTA, ESIEE, Mines Nantes, Univ Montpellier 1, Univ Nantes, Univ Paris-Est Marne-la-Vallée (UPEMLV)
Ibex : C++ numerical library based on interval arithmetic and constraint programming
Main features : data processing
Pascal Monasse - 22/09/13