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