[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Comparison of CAS's?
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Comparison of CAS's? |
Date: |
Tue, 5 Jun 2007 14:51:54 -0500 (CDT) |
On Tue, 5 Jun 2007, Martin Rubey wrote:
| From a user's perspective, I believe that MuPAD is currently the best CAS
| around.
Yes, that is why I hesitated long between MuPAD an Axiom. I was a little
unhappy with MuPAD's choice og going non-"free" for academic purposes -- but I
believe I understand the motivations.
| However, it's programming language has some severe limitations, which
| Aldor does not have.
Compared to Maple's programming language, I'd still take MuPAD.
| On the other hand, Axiom is free, and MuPAD is not, not even gratis anymore.
Yup. :-(
| Apart from all that, if our goal was to make Axiom pass more tests of Wester's
| suite, we need Gruntz algorithm for limits and an implementation of Zeilberger
| for summation, as far as I recall. However, I think that this is not quite
the
| right way to go about it.
Well, people will read Wester's book (and I hope they do!) and will wonder.
While I don't believe The Goal of Axiom is pass that testsuite, I believe
that Axiom should pass that testsuite.
-- Gaby