[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] AMS article about trusting CAS
From: |
Kurt Pagani |
Subject: |
Re: [Axiom-developer] AMS article about trusting CAS |
Date: |
Sun, 15 Apr 2018 23:02:55 +0200 |
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
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
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/axiom-developer
>