×

Mathemagix: towards large scale programming for symbolic and certified numeric computations. (English) Zbl 1294.68158

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 329-332 (2010).
Summary: 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.
For the entire collection see [Zbl 1196.68008].

MSC:

68W30 Symbolic computation and algebraic computation
65Y15 Packaged methods for numerical algorithms

Software:

AXIOM; Mathemagix; MPFR; gmp
PDFBibTeX XMLCite
Full Text: DOI