Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?

Authors:
Joris van der Hoeven;Grégoire Lecerf;Bernard Mourrain;Philippe Trébuchet;Jérémy Berthomieu;Daouda Niang Diatta;Angelos Mantzaflaris
Affiliations:
Laboratoire d'informatique (CNRS, UMR 7161), École polytechnique, Palaiseau, France;Laboratoire d'informatique (CNRS, UMR 7161), École polytechnique, Palaiseau, France;Projet GALAAD, INRIA Sophia Antipolis, France;Laboratoire d'informatique de Paris 6 (CNRS, UMR 7606), équipe APR, Paris, France;Laboratoire d'informatique (CNRS, UMR 7161), École polytechnique, Palaiseau, France;Laboratoire d'informatique (CNRS, UMR 7161), École polytechnique, Palaiseau, France;Projet GALAAD, INRIA Sophia Antipolis, France
Venue:
ACM Communications in Computer Algebra
Year:
2012

Citing 0
Cited 3

Interfacing mathemagix with C++

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
GNU TEXmacs: a scientific editing platform

ACM Communications in Computer Algebra
Arb: a C library for ball arithmetic

ACM Communications in Computer Algebra

Quantified Score

Hi-index	0.00

Visualization

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 frontends.