1. Intégration des fonctions liouvilliennes X
2. Changement d'ordre dans les bases de Gröbner par la marche de Gröbner X
3. Sommation symbolique par les algorithmes de Gosper et Zeilberger X X X
4. Multiplication rapide par une sorte de FFT d'operateurs differentiels lineaires X