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

Joris Van Der Hoeven; Grégoire Lecerf; Bernard Mourrain; Philippe Trébuchet; Jérémy Berthomieu; Daouda Niang Diatta; Angelos Mantzaflaris

doi:10.1145/2110170.2110180

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

Joris Van Der Hoeven
, Grégoire Lecerf
, Bernard Mourrain
, Philippe Trébuchet
, Jérémy Berthomieu
, Daouda Niang Diatta
, Angelos Mantzaflaris

INRIA
LIP6, UPMC Sorbonne Universités - Paris 6
Laboratoire d'Informatique (LIX)

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

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.

langue originale	Anglais
Pages (de - à)	186-188
Nombre de pages	3
journal	ACM Communications in Computer Algebra
Volume	45
Numéro de publication	3-4
Les DOIs	https://doi.org/10.1145/2110170.2110180
état	Publié - 1 sept. 2011

Accès au document

10.1145/2110170.2110180

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{12f4cc2184734e11ae489da8e6e104e3,

title = "Mathemagix: The quest of modularity and efficiency for symbolic and certified numeric computation",

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.",

author = "\{Van Der Hoeven\}, Joris and Gr{\'e}goire Lecerf and Bernard Mourrain and Philippe Tr{\'e}buchet and J{\'e}r{\'e}my Berthomieu and Diatta, \{Daouda Niang\} and Angelos Mantzaflaris",

year = "2011",

month = sep,

day = "1",

doi = "10.1145/2110170.2110180",

language = "English",

volume = "45",

pages = "186--188",

journal = "ACM Communications in Computer Algebra",

issn = "1932-2232",

number = "3-4",

}

TY - JOUR

T1 - Mathemagix

T2 - The quest of modularity and efficiency for symbolic and certified numeric computation

AU - Van Der Hoeven, Joris

AU - Lecerf, Grégoire

AU - Mourrain, Bernard

AU - Trébuchet, Philippe

AU - Berthomieu, Jérémy

AU - Diatta, Daouda Niang

AU - Mantzaflaris, Angelos

PY - 2011/9/1

Y1 - 2011/9/1

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

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

UR - https://www.scopus.com/pages/publications/84857511192

U2 - 10.1145/2110170.2110180

DO - 10.1145/2110170.2110180

M3 - Article

AN - SCOPUS:84857511192

SN - 1932-2232

VL - 45

SP - 186

EP - 188

JO - ACM Communications in Computer Algebra

JF - ACM Communications in Computer Algebra

IS - 3-4

ER -

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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation