Précédent : Calcul symbolique Remonter : Algorithmique Suivant : Factorisation de polynômes
Précédent : Calcul symbolique Remonter : Algorithmique Suivant : Factorisation
de polynômes
Avec Frank Postel (Université de Paderborn), nous avons comparé les sept grands systèmes de calcul formel actuels (Axiom, Derive, Maple, Mathematica, Macsyma, MuPAD et Reduce) pour la résolution des équations différentielles ordinaires. Sur la base d'une cinquantaine de problèmes, nous avons mis en évidence les forces et faiblesses de chaque système, et exhibé plusieurs erreurs, dont certaines ont d'ailleurs déjà été corrigées dans de nouvelles versions [17].