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