Re: AMS article about trusting CAS
Kurt Pagani <[email protected]> Sun, 15 Apr 2018 23:02:55 +0200
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Tim This article is right on the button while substantiating your endeavours. Thanks. This one might interest you as well: https://arxiv.org/abs/1708.02553 (especially section 5 ...) Kurt On 15.04.2018 21:20, Tim Daly wrote: > The Misfortunes of a Trio of Mathematicians Using > Computer Algebra Systems: Can We Trust In Them > > http://www.ams.org/notices/201410/rnoti-p1249.pdf > > Clearly not. -- Tim > > "Yeah, well, that's just, like, your opinion, man" > -- Jeff Bridges, The Big Lebowski > > > > _______________________________________________ > Axiom-developer mailing list > [email protected] > https://lists.nongnu.org/mailman/listinfo/axiom-developer > _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer