Logiciels
- CAMPARY: Cuda Multiple Precision Arithmetic library
- CoqInterval: tactiques pour la preuve d'inégalités sur des expressions réelles en Coq
- Flocq: formalisation Coq de l'arithmétique à virgule flottante en bases, formats et précisions quelconques
- Gappa: outil d'aide à la vérification formelle de programmes numériques
- Gfun: a Maple package for solutions of linear differential or recurrence equations
- Linbox: a C++ library for exact, high-performance linear algebra computation
- MPFI: une bibliothèque pour l'arithmétique d'intervalle en précision arbitraire
- GNU MPFR: a library for arbitrary precision floating-point arithmetic
