2025-11-23T08:55:16.500829

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?

Durán, Pérez, Varona
Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of matrices of integer numbers: not only it computes the determinants wrongly, but also it produces different results if one evaluates the same determinant twice.
academic

Les malheurs d'un trio de mathématiciens utilisant des systèmes de calcul formel : Pouvons-nous faire confiance ?

Informations fondamentales

  • ID de l'article: 1312.3270
  • Titre: Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
  • Auteurs: Antonio J. Durán (Universidad de Sevilla), Mario Pérez (Universidad de Zaragoza), Juan L. Varona (Universidad de La Rioja)
  • Classification: cs.SC (Calcul symbolique), cs.MS (Logiciels mathématiques)
  • Date de publication: 15 octobre 2013 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/1312.3270

Résumé

Les systèmes de calcul formel apportent une aide considérable à la recherche mathématique, mais les erreurs inattendues dans les logiciels peuvent parfois gravement compromettre la recherche. À titre d'exemple, les auteurs montrent comment ils ont détecté une erreur dans Mathematica lors du calcul du déterminant de matrices d'entiers : non seulement il calcule incorrectement le déterminant, mais deux calculs successifs du même déterminant produisent des résultats différents.

Contexte et motivation de la recherche

  1. Problème à résoudre: Les auteurs ont découvert une erreur grave dans Mathematica lors du calcul du déterminant de matrices d'entiers de grande taille, incluant des résultats de calcul incorrects et des résultats différents pour un même calcul.
  2. Importance du problème:
    • Les mathématiciens dépendent de plus en plus des systèmes de calcul formel pour la recherche
    • Les résultats de calcul erronés peuvent conduire à des conclusions mathématiques incorrectes
    • Le calcul avec de grands entiers a des applications importantes en cryptographie et autres domaines
  3. Limitations des approches existantes:
    • Les systèmes de calcul formel commerciaux sont des « boîtes noires » avec des algorithmes opaques
    • Les erreurs connues ne sont généralement pas divulguées aux utilisateurs
    • Il est difficile d'appliquer les techniques modernes de vérification de logiciels
  4. Motivation de la recherche: En étudiant l'extension des résultats de Karlin et Szegő sur les polynômes orthogonaux, les auteurs ont découvert que Mathematica et Maple donnaient des résultats de calcul différents, ce qui les a menés à enquêter plus profondément et à découvrir les erreurs systématiques de Mathematica.

Contributions principales

  1. Découverte et signalement d'une erreur de calcul grave dans Mathematica: Production de résultats erronés lors du calcul du déterminant de matrices d'entiers de grande taille
  2. Fourniture d'une méthode reproductible de génération d'erreurs: Conception d'un programme aléatoire pour générer des matrices déclenchant l'erreur
  3. Révélation de la nature non-déterministe de l'erreur: Le calcul du déterminant d'une même matrice peut produire des résultats différents
  4. Remise en question de la fiabilité des systèmes de calcul formel: Suscitation d'une discussion importante sur la façon de faire confiance à ces systèmes

Détails de la méthodologie

Processus de découverte du problème

En étudiant le déterminant de Casorati de polynômes orthogonaux :

undefined