### Software

We develop or contribute to the following software:

- Axel: Algebraic-geometric modeler
- Mathemagix: free computer algebra system for symbolic and numeric computation.
- EliminationMatrices : a Macaulay2 package for elimination theory with a focus on universal formulas, in particular resultant computations.
- Multires: maple package for resultant computation.

The library Synaps is now integrated in the project Mathemagix.