Kevin Kofler (./74) :
Mais un CAS de cette classe a-t-il vraiment besoin de gérer les calculs sur les anneaux d'arithmétique modulaire? AMS ne les gère pas.

L'arithmétique modulaire est relativement indispensable dès qu'on fait des algos de reconstructions comme la factorisation sur les polynômes.

Kevin Kofler (./72) :
Dites, ne pensez-vous pas qu'il serait plus important d'avoir d'abord un CAS qui fonctionne convenablement sur |R et/ou (C avant de vouloir faire de l'arithmétique sur les modulos ou de l'algèbre sur des groupes encore plus bizarres?

Que manque-t-il pour rattraper AMS ?
factoriser sur N [ puis après sur R et C en utilisant quelques formules classiques pour les polynomes de degrée 2,3 et 4.]
Algèbre linaire sur les matrices (résolution des systèmes, déterminant, noyau, vecteurs propres, ...)
solve de polynome et/ou de systèmes linéaires et/ou de f(x) = alpha avec f dans une table.
Series
Limites via l'algo de Gruntz (nécessite un sous-ensemble de series je crois).
Primitive (par exemple, via une table + l'algo du "pauvre homme" qui ne nécessite qu'un solve et un factor).
Intégrales ?? Intégration numérique ?

Si on fait çà, on doit être très proche de tout ce que fait AMS (sauf les équa diffs, le solveur d'inéquation et l'algèbre booléenne).

Mais il manque les graphs, le langage et l'interface aussi !!! Et ce n'est pas rien non plus.
Quelqu'un de motivé pour çà ?