Arithmetic Algorithmic
- Arb: Library for rigorous real and complex arithmetic with arbitrary precision
- Calcium: C library for exact computation with real and complex numbers
- Cm: Construction of class fields of quadratic orders and elliptic curves with complex multiplication via floating-point approximations
- Cmh: Calculation of theta-constants at arbitrary precision and calculation of class polynomials
- Gnu Mpc: Library for the arithmetic of complex numbers with arbitrary precision and correct rounding of the result
- Mpfrcx: Library for the arithmetic of univariate real (MPFR) or complex (MPC) polynomials in arbitrary precision, without rounding control
- PARI/GP: Widely used computer algebra system designed for fast calculations in number theory (factorizations, algebraic number theory, elliptic curves, modular forms…)
Scientific Computing and Modeling
- AeroSol: High-order finite element library, continuous and discontinuous, for hybrid curvilinear meshes
- CEPS: Numerical simulations of cardiac electrophysiology featuring a simulation engine specific to cardiology
- Mmg: Automatic 2D, surface, or tetrahedral triangular mesh generators
- Monc: Software platform for oncology
- NSPMG: Modeling of 2D and 3D flows around porous or solid obstacles. Direct Numerical Simulation (DNS) of Navier-Stokes equations using a penalization method and a multigrid solver
- Neos: C++ framework for rapid prototyping of numerical simulations
- openCARP: Cardiac electrophysiology simulator for in-silico experiments
Image Optimization and Probability
- NL-SAR: Denoising of SAR radar images
- RealTITracker: A toolbox for real-time 2D/3D optical flow based medical image registration
- SUGAR: Stein Unbiased GrAdient estimator of the Risk
Mathematical Optimization, Random Models and Statistics
- BIIIPS: Bayesian inference with interacting particle systems
- BapCod: Prototype that solves Mixed Integer Programs (MIP) by applying reformulation and decomposition techniques
- ClustOfVar: Variable clustering
- CoVVSURF: Combination of variable clustering and variable selection using random forests
- FracLab: A fractal analysis toolbox for signal and image processing
- PCAmixdata: Multidimensional analysis of mixed data
- vrpsolver: Exact Branch-Cut-and-Price solver for vehicle routing
