Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2013
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916547904143360 |
|---|---|
| author | Durán, Antonio J. Pérez, Mario Varona, Juan L. |
| author_facet | Durán, Antonio J. Pérez, Mario Varona, Juan L. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1312_3270 |
| institution | arXiv |
| publishDate | 2013 |
| record_format | arxiv |
| spellingShingle | Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust? Durán, Antonio J. Pérez, Mario Varona, Juan L. Symbolic Computation Mathematical Software 68W30 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. |
| title | Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust? |
| topic | Symbolic Computation Mathematical Software 68W30 |
| url | https://arxiv.org/abs/1312.3270 |