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

Desventuras de un trío de matemáticos usando Sistemas de Álgebra Computacional: ¿Podemos confiar?

Información Básica

  • ID del artículo: 1312.3270
  • Título: Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
  • Autores: Antonio J. Durán (Universidad de Sevilla), Mario Pérez (Universidad de Zaragoza), Juan L. Varona (Universidad de La Rioja)
  • Clasificación: cs.SC (Computación Simbólica), cs.MS (Software Matemático)
  • Fecha de publicación: 15 de octubre de 2013 (preimpresión en arXiv)
  • Enlace del artículo: https://arxiv.org/abs/1312.3270

Resumen

Los sistemas de álgebra computacional son de gran ayuda para la investigación matemática, pero los errores inesperados en el software a veces afectan gravemente la investigación. Como ejemplo, los autores demuestran cómo detectaron un error en Mathematica al calcular determinantes de matrices de enteros: no solo calcula incorrectamente el determinante, sino que calcular dos veces el mismo determinante produce resultados diferentes.

Antecedentes y Motivación de la Investigación

  1. Problema a resolver: Los autores descubrieron errores graves en Mathematica al calcular determinantes de matrices de enteros grandes durante investigación matemática, incluyendo resultados de cálculo incorrectos y problemas donde el mismo cálculo produce resultados diferentes.
  2. Importancia del problema:
    • Los matemáticos dependen cada vez más de sistemas de álgebra computacional para la investigación
    • Los resultados de cálculo incorrectos pueden conducir a conclusiones matemáticas erróneas
    • El cálculo de enteros grandes tiene aplicaciones importantes en criptografía y otros campos
  3. Limitaciones de métodos existentes:
    • Los sistemas de álgebra computacional comerciales son "cajas negras" con algoritmos opacos
    • Los errores conocidos generalmente no se divulgan a los usuarios
    • Es difícil aplicar técnicas modernas de verificación de software
  4. Motivación de la investigación: Los autores, al investigar extensiones de resultados de Karlin y Szegő sobre polinomios ortogonales, descubrieron que Mathematica y Maple daban resultados de cálculo diferentes, lo que llevó a una investigación más profunda que reveló errores sistemáticos en Mathematica.

Contribuciones Principales

  1. Descubrimiento e informe de errores graves de cálculo en Mathematica: Producción de resultados incorrectos al calcular determinantes de matrices de enteros grandes
  2. Provisión de métodos reproducibles para generar errores: Diseño de un programa aleatorio para generar matrices que desencadenen el error
  3. Revelación de características no deterministas del error: El cálculo del determinante de la misma matriz puede producir resultados diferentes
  4. Cuestionamiento de la confiabilidad de sistemas de álgebra computacional: Generación de una discusión importante sobre cómo confiar en estos sistemas

Explicación Detallada de Métodos

Proceso de Descubrimiento del Problema

Los autores, al investigar el determinante de Casorati de polinomios ortogonales:

undefined