Softwares
Main software libraries
- LinBox: a generic library for exact linear algebra
- FFLAS-FFPACK: Finite Fields Linear Algebra Subroutines
- Givaro: a generic library for finite fields and extensions
- Includes the former project PaloAlto (type RecInt): fixed precision arithmetic for cryptology
Other software developement
- PLinOpt: C++ routines handling linear, bilinear & trilinear programs
- VESPo: a C++ library for the Verified Evaluation of Secret Polynomials
- Fast-Matrix-Multiplication: Matlab accurate fast matrix multiplications via 2x2 recursion
- la-por: Linear algebra-based Proof of Retrievability protocol for ensuring data integrity
Participations to software projects
Team member contribute, or have contributed, to the following software projects:
- SageMath: a free open-source mathematics software system
- Mathemagix: a free computer algebra and analysis system
Former software projects
Linear Algebra
- Galet: Matrix multiplication memory schedule generator
- Simplicial Homology: a proposed gap package for simplicial homology
- FFSpMv: sparse matrix-vector multiplication on GPU
- Matrix depending on parameters / eigenvalues
Hybrid Systems
- CoSyMa: Controller Synthesis using Multi-scale Abstractions
- DynSys: A program for dynamical systems based on dynamic graphs
- CASCADE: Computational Analysis and Simulation using Continuous Approximations for Differential Equations
- SHOC: Optimal control of Hybrid Ordinary Differential Systems
- MATISSE: Metrics for Approximate Transition Systems Simulation and Equivalence
- Dynamical systems
Differential equations
- DESIR: Differential Equation Singularities Irregular and Regular
- Linear differential equations and systems
- Differential-algebraic equations (DAE)
- Orthogonal polynomial series
Other
- CRQ: Correctly Rounded Quadrature
- CoqEffects: Proving properties of programs involving computational effects