#### Software

- Orbital Collision Probability Evaluation Software - public source code available in Matlab and C for the computation of both Short-Term (2D) and Instantaneous Collision Probability.
- Sollya - written by C. Lauter, S. Chevillard, M. Joldes, and N. Jourdan. It is both a tool environment and a library for safe floating-point code development, targeted at the automatized implementation of mathematical floating-point libraries (libms).
- XATOM - EXchange Algorithm for TOtal error Minimization - C implementation of an exchange algorithm for evaluation and approximation error-optimized polynomials; public source code available. To be used as an external function to Sollya. Developed with D. Arzelier, F. BrĂ©hard, T. Hubrecht.
- CAMPARY - CudA Multiple Precision ARithmetic librarY - Multiple precision arithmetic library based on Floating-Point Expansions for CPUs/GPUs. Developed with O. Marty, J.-M. Muller, V. Popescu, and W. Tucker; basic maintenance, public source available.
- Unifapprox - Experimental Maple code ('600 code lines) for Rigorous Uniform Approximation of D-Finite Functions using Chebyshev Expansions; developed with A. Benoit and M. Mezzarobba. Prototype software, public source available.
- ChebModels - Maple package for rigorous univariate polynomial approximations. Developed with N. Brisebarre; public source available, but not currently updated.