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 > Axiom-developer@nongnu.org > https://lists.nongnu.org/mailman/listinfo/axiom-developer > _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer