Mathemagix

Mathemagix: Towards large scale programming for symbolic and certified numeric computations. 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


References in zbMATH (referenced in 42 articles , 3 standard articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Doris, Christopher: Exact (p)-adic computation in Magma (2021)
  2. van der Hoeven, Joris; Lecerf, Grégoire: On the complexity exponent of polynomial system solving (2021)
  3. Grunspan, Cyril; Van Der Hoeven, Joris: Effective asymptotics analysis for finance (2020)
  4. Abreu, S.; Dormans, J.; Febres Cordero, F.; Ita, H.; Page, B.; Sotnikov, V.: Analytic form of the planar two-loop five-parton scattering amplitudes in QCD (2019)
  5. Lecerf, Grégoire: On the complexity of the Lickteig-Roy subresultant algorithm (2019)
  6. Harvey, David; van der Hoeven, Joris: On the complexity of integer matrix multiplication (2018)
  7. Jeronimo, Gabriela; Sabia, Juan: Sparse resultants and straight-line programs (2018)
  8. Barkatou, Moulay A.; Jaroschek, Maximilian; Maddah, Suzy S.: Formal solutions of completely integrable Pfaffian systems with normal crossings (2017)
  9. Minimair, Manfred: Collaborative computer algebra (2017)
  10. van der Hoeven, Joris; Larrieu, Robin; Lecerf, Grégoire: Implementing fast carryless multiplication (2017)
  11. Beliakov, Gleb; Matiyasevich, Yuri: A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic (2016)
  12. Groves, A. Whitman; Roche, Daniel S.: Sparse polynomials in FLINT (2016)
  13. Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire: Even faster integer multiplication (2016)
  14. Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire: Fast polynomial multiplication over (\mathbbF_2^60) (2016)
  15. van der Hoeven, Joris: On the complexity of skew arithmetic (2016)
  16. Van Der Hoeven, Joris; Lecerf, Grégoire; Quintin, Guillaume: Modular SIMD arithmetic in \textscMathemagix (2016)
  17. Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo: Degeneracy loci and polynomial equation solving (2015)
  18. Bruno Grenet: Lacunaryx: Computing bounded-degree factors of lacunary polynomials (2015) arXiv
  19. Grenet, Bruno: Lacunaryx: computing bounded-degree factors of lacunary polynomials (2015)
  20. Grenet, Bruno; van der Hoeven, Joris; Lecerf, Grégoire: Randomized root finding over finite FFT-fields using tangent Graeffe transforms (2015)

1 2 3 next