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.
Year
DOI
Venue
2011
10.1145/2110170.2110180
ACM Comm. Computer Algebra
Keywords
Field
DocType
main list,certified numeric computation,main characteristic,programming language,software project mathemagix
Discrete mathematics,Symbolic-numeric computation,Architecture,Programming language,Theoretical computer science,Software,Symbolic programming,First-generation programming language,Certification,Programming domain,Modularity,Mathematics
Journal
Volume
Issue
Citations 
45
3/4
5
PageRank 
References 
Authors
0.56
0
7