Mathemagix, the quest of modularity and efficiency for symbolic and certified numeric computation
Résumé
We describe the goals and architecture of the software project Mathemagix, the main list of packages it contains, the main characteristics of its programming language, and connections with existing frontends.