![]()
| Software | Platforms | Distribution | License | Project |
|---|---|---|---|---|
| Algolib : Maple Package for combinatorics and computer algebra | Unix, Windows and MacOS | downloadable | contact cdri-roc@inria.fr |
ALGO |
| ALIAS : library for analysis and resolution of algebraic or non algebraic systems of dimension 0, resting on analysis by intervals | Unix | downloadable | distribution of libraries |
COPRIN |
| CGAL : A C++ Library of
Computational Geometry Algorithms |
Linux, Windows et MacOS | downloadable | dual license | GEOMETRICA |
| Gb : calcul de bases
de Gröbner |
Linux | downloadable | free license |
SPACES |
| Guimoo : visualization of landscapes for Multi-Objective Optimization and the analysis of performances by the use of special metrics | Linux and Windows | downloadable Windows version | LGPL | DOLPHIN |
| Graphite : numerical geometry workbench and experimental modeler for 3d computer graphics | Unix and Windows | downloadable | GNU GPL license | ALICE |
| Grappe : Modification in texts research software | Unix and MacOS | downloadable | free license | ADAGE |
| HAVEGE : A software user-level unpredictable random number generator | Unix and Windows | downloadable | free license for the scientific community, otherwise contact cdri.ren@inria.fr | CAPS , CODES |
| MPFR : library for multiprecision floating-point computations with exact rounding based GMP. | Unix, Windows and MacOS | downloadable | LGPL license | SPACES |
| Paradiseo : a C++ object-oriented framework dedicated to the reusable design of parallel and hybrid metaheuristics | Linux, Windows et MacOS | downloadable | LGPL license | DOLPHIN |
| Polylib : a versatile tool
for the treatment of polyhedra |
Unix | downloadable | GPL license | COMPSYS |
| QI : Near-optimal parameterization of the intersection of two quadrics given in implicit form | Linux | downloadable | free license for the scientific community, otherwise contact cdri.lor@inria.fr | VEGAS |
| RS : Solving polynomial
systems |
Linux | downloadable | free license | SPACES |
| SYNAPS : a library devoted to symbolic and numeric computations | Linux et cygwin | ftp | LGPL license | GALAAD |
For each software application in this table, the following can be found: