[Axiom-developer] Trusting computer algebra systems

[daly]

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