Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dragan, L., Huerter, S., Oancea, C., Watt, S.: Aldor programming language (2007), http://www.aldor.org
Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Transactions on Mathematical Software 33(2) (June 2007), http://www.mpfr.org
Granlund, T., et al.: GMP, the GNU multiple precision arithmetic library (1991), http://gmplib.org
Hart, W.: Fast library for number theory (2008), http://www.flintlib.org
van der Hoeven, J.: GNU TEXmacs (1998), http://www.texmacs.org
van der Hoeven, J.: On effective analytic continuation. MCS 1(1), 111–175 (2007)
Jenks, R.D., Sutor, R.: AXIOM: the scientific computation system. Springer, New York (1992)
Mourrain, B., Wintz, J., Chau, S., Alberti, L.: Axel (2007), http://axel.inria.fr
Shoup, V.: NTL: A library for doing number theory (2005), http://shoup.net/ntl
Stein, W.A., et al.: Sage Mathematics Software, Version 4.2.1 (2009), http://www.sagemath.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lecerf, G. (2010). Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations. In: Fukuda, K., Hoeven, J.v.d., Joswig, M., Takayama, N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15582-6_52
Download citation
DOI: https://doi.org/10.1007/978-3-642-15582-6_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15581-9
Online ISBN: 978-3-642-15582-6
eBook Packages: Computer ScienceComputer Science (R0)