AMS article about trusting CAS

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

AMS article about trusting CAS

Tim Daly
The Misfortunes of a Trio of Mathematicians Using
Computer Algebra Systems: Can We Trust In Them
Clearly not. -- Tim

"Yeah, well, that's just, like, your opinion, man"
-- Jeff Bridges, The Big Lebowski
 

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: AMS article about trusting CAS

Kurt Pagani
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
> [hidden email]
> https://lists.nongnu.org/mailman/listinfo/axiom-developer
>

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer