News for hackers. Stuff that matters.

A comment on The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems [pdf]. Parent comment

Re:The Misfortunes of a Trio of Mathematicians Using Compute... by mlubin on Friday October 24, 2014 @06:33PM (#8506346)
I really would like to be able to see a proof of how Mathematica calculates a limit, for example. Doesn't need to be human friendly, just verifiable.
[ Parent | on HN ]

There are no comments on this comment yet.