[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] Trusting computer algebra systems

**From**: |
daly |

**Subject**: |
[Axiom-developer] Trusting computer algebra systems |

**Date**: |
Fri, 24 Oct 2014 17:07:34 -0500 |

Gentlemen,
I'm Tim Daly, lead developer on Axiom, an open source computer algebra
system.
I just finished reading your paper "The Misfortunes of a Trio of
Mathematicians Using Computer Algebra Systems. Can We Trust in Them?"
You mentioned the "black box" aspect of Mathematica and Maple.
I wonder if you've tried using Axiom which is fully open source.
http://axiom-developer.org
I will try to decode the MMA notebooks you posted so I can run
your examples in Axiom.
Tim

**[Axiom-developer] Trusting computer algebra systems**,
*daly* **<=**