Contributions à des logiciels/outils numériques
-
Librairies SageMath :
- Multivariate Bases : implémentation en Sage des bases classiques de polynômes multivariés.
- SageACSV : librairie pour la combinatoire analytique multivariée.
- Librairies Maple :
- NewtonGF : Implémentation de l'itération de Newton combinatoire.
- Gfun : Outils pour deviner une série à partir de ses premiers termes / manipuler rigoureusement des solutions à des équations différentielles ou récurrentes linéaires.
- Autres langages :
- UsainBoltz : librairie Python/Cython pour la génération efficace avec méthode de Boltzmann.
- RandDAG : librairie C pour la génération aléatoire de DAG.
- Arbogen : librairie OCamL pour la génération avec méthode de Boltzmann de structures arborescentes.
-
RDOS (Random Discrete Objects Suite) : ensemble d'outils pour la génération uniforme et non-uniformes de différents objets combinatoires.
- FindStat :
The Combinatorial Statistic Finder.