[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 <=