Les bibliothèques BLAD sont des bibliothèques open source, en langage C, dédiées à la simplification des systèmes d'équations différentielles polynomiales. Elles sont développées dans l'équipe calcul formel du LIFL. Elles sont munies d'une documentation technique et d'un ensemble de programmes de test.
Le but du stage consiste à améliorer l'ensemble des programmes de test ainsi que la documentation. Dans le premier cas, il s'agit de rechercher des fonctions non couvertes par les tests et d'écrire les petits programmes correspondants. Dans le second cas, il s'agit de rechercher les fonctions non documentées, mal documentées.
Les bibliothèques BMI sont des bibliothèques qui font l'interface entre BLAD et d'autres logiciels (MAPLE, Sage, ...). Pour des raisons techniques, il est plus difficile d'écrire des tests pour BMI que pour BLAD. Une prolongation naturelle du stage consisterait à étudier la meilleure façon de réaliser des programmes de tests pour cette bibliothèque.
Liens associés :
|
