Software
- CAMPARY: Cuda Multiple Precision Arithmetic library
- CoqInterval: tactics for proving inequalities on real-valued expressions in Coq
- Flocq: a formalization of floating-point arithmetic for the Coq proof assistant
- Gappa: a tool for formally verifying numerical applications
- Gfun: a Maple package for solutions of linear differential or recurrence equations
- Linbox: a C++ library for exact, high-performance linear algebra computation
- MPFI: a library for arbitrary precision interval arithmetic
- GNU MPFR: a library for arbitrary precision floating-point arithmetic