The IMB develops or contributes to the development of several software programs of national or international scope.
Number Theory, Cryptography
- Flint: Library for fast arithmetics in Number Theory
- Multiprecision: Multiprecision library, with applications to elliptic curves and abelian varieties
- PARI/GP: Widely used computer algebra system designed for fast calculations in number theory (factorizations, algebraic number theory, elliptic curves, modular forms…)
- SageMath: Regular contributions to the Formal Algebra Software SageMath
- SQISign: Isogeny based post-quantum signature scheme
Scientific Computing, 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
- 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
- openCARP: Cardiac electrophysiology simulator for in-silico experiments
- VFDIAM: Cardiac electrophysiology
Image
- Monc: Software platform for oncology
Optimization
- BapCod: Prototype that solves Mixed Integer Programs (MIP) by applying reformulation and decomposition techniques
- vrpsolver: Exact Branch-Cut-and-Price solver for vehicle routing
Statistics
- Stat: R libraries for multivariate data analysis and unsupervised learning
