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

Abstract

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