Bonjour à tous.

Je me heurte à une étrange appelation dans un bouquin de maths. Certains exercices doivent être résolus à l'aide d'un "logiciel de calcul symbolique". Peut-être en connais-je un... mais dans ce cas je l'ignore.

Connaîtriez-vous quelques noms pouvant m'éclairer ?

Merci !