TY - GEN
T1 - Mathemagix
T2 - Towards large scale programming for symbolic and certified numeric computations
AU - Lecerf, Grégoire
PY - 2010/1/1
Y1 - 2010/1/1
N2 - Coordinated by Joris van der Hoeven from the 90's, the Mathemagix project aims at the design of a scientific programming language for symbolic and certified numeric algorithms. This language can be compiled and interpreted, and it features a strong type system with classes and categories. Several C++ libraries are also being developed, mainly with Bernard Mourrain and Philippe Trébuchet, for the elementary operations with polynomials, power series and matrices, with a special care towards efficiency and numeric stability. In my talk I will give an overview of the language, of the design and the contents of the C++ libraries, and I will illustrate possibilities offered for certified numeric computations with balls and intervals.
AB - Coordinated by Joris van der Hoeven from the 90's, the Mathemagix project aims at the design of a scientific programming language for symbolic and certified numeric algorithms. This language can be compiled and interpreted, and it features a strong type system with classes and categories. Several C++ libraries are also being developed, mainly with Bernard Mourrain and Philippe Trébuchet, for the elementary operations with polynomials, power series and matrices, with a special care towards efficiency and numeric stability. In my talk I will give an overview of the language, of the design and the contents of the C++ libraries, and I will illustrate possibilities offered for certified numeric computations with balls and intervals.
U2 - 10.1007/978-3-642-15582-6_52
DO - 10.1007/978-3-642-15582-6_52
M3 - Conference contribution
AN - SCOPUS:78149277123
SN - 3642155812
SN - 9783642155819
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 329
EP - 332
BT - Mathematical Software, ICMS 2010 - Third International Congress on Mathematical Software, Proceedings
PB - Springer Verlag
ER -