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

Abstract

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.

4 pages

Cited by in corpus (6)

• Eigenvalues, Smith normal form and determinantal ideals
• Verified Quadratic Virtual Substitution for Real Arithmetic
• A class of weighted Delannoy numbers
• Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
• Interaction entre mathématique et informatique Libre/Open Source par le logiciel mathématique
• Applications of the Gauss-Jordan algorithm, done right