2000 character limit reached
Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
Published 11 Dec 2013 in cs.SC and cs.MS | (1312.3270v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.