Calculs avec de grands entiers (code source)
Calculs symboliques automatiques (code source)
Calculs symboliques manuels (code source)
Calculs symboliques : graphiques et programmation (code source)