The CADNA (Control of Accuracy and Debugging for Numerical Applications) software estimates round-off errors in numerical simulations.   CADNA is used by PROMISE for floating point analysis.


IBM ILOG CPLEX Optimization Studio provides the most efficient way of building models for mathematical programming, constraint programming and constraint-based scheduling, in order to tackle complex optimization problems such as planning and scheduling.


CSDP is a C library of routines that implements a predictor corrector variant of the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and Wolkowicz.


ELPA stands for Eigenvalue Solvers for Petaflop Apllications.


FEniCS is a popular open-source (LGPLv3) computing platform for solving partial differential equations (PDEs).


FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions, of arbitrary input size, and of both real and complex data (as well as of even/odd data, i.e. the discrete cosine/sine transforms or DCT/DST). We believe that FFTW, which is free software, should become the FFT library of choice for most applications.


GEOS (Geometry Engine - Open Source) is a C++ port of the Java Topology Suite (JTS).


The GLPK (GNU Linear Programming Kit) package is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems.