Mathematics

CADNA

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.

CPLEX

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

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

ELPA stands for Eigenvalue Solvers for Petaflop Apllications.

FEniCS

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

FFTW

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

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

GLPK

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

Pages