Mathemagix, The quest of modularity and efficiency for symbolic and certified numeric computation
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]


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 front-ends.

Authors: Joris van der Hoeven, Grégoire Lecerf, Bernard Mourrain, Philippe Trébuchet, Jérémy Berthomieu, Daouda Niang Diatta, Angelos Mantzaflaris

View: Pdf, BibTeX