Logiciels PEQUAN
ore_algebra.analytic : Atelier symbolique-numérique pour la résolution d'équations différentielles à coefficients polynomiaux
Symbolic-numeric toolbox for linear ODEs with polynomial coefficients, including a rigorous numeric solver for regular singular connection problems.
Project Leader : Marc MEZZAROBBA
01/2015 → 01/2021
https://github.com/mkauers/ore_algebra/tree/master/src/ore_algebra/analytic
PythonSollya : Bindings Cython pour la bibliothèque Sollya
Project Leader : Marc MEZZAROBBA
01/2017 → 01/2021
Sollya : both a tool environment and a library for safe floating-point code development.
Sollya est à la fois un environnement et une biliothèque pour le développement de codes numériques sûrs. Sollya permet en particulier d'automatiser l'implémentation de bibliothèques mathématiques (libm).
Project Leader : Christoph LAUTER
01/2010 → 01/2019
