Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Vladimir Bondarenko
Quoting C Y <[EMAIL PROTECTED]>: --- Vladimir Bondarenko <[EMAIL PROTECTED]> wrote: CY> I don't think this is the case I know this; to an extent, it was my provocative overstatement. I'd rather like to hear some comments from AXIOM developers. CY> rather, we feel that Axiom has the long t

Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread C Y
--- Vladimir Bondarenko <[EMAIL PROTECTED]> wrote: > I am shocked to observe that it looks like AXIOM developers have > an idea that "there are not so many defects in AXIOM". I don't think this is the case - rather, we feel that Axiom has the long term potential to provide a robust environment on

QA engineer, was: Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Ralf Hemmecke
Frankly, a big problem I see, there is not a single practical QA engineer within AXIOM folks. If you know a QA engineer who wants to contribute to Axiom's QA send him to us. Our sources live in the open. Everyone is free to contribute. If you qualify as a QA engineer, contribute yourself. Jus

Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Gabriel Dos Reis
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 underst

Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Vladimir Bondarenko
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: "Alasdair McAndrew" <[EMAIL PROTECTED]> writes: | As far as I know, nobody has tried to compare CAS's since Michael Wester's | attempts in the 1990's. Not that I know of. I believe Wester's work date back from late 1990s. Everywhere else in comput

Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Martin Rubey
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > "Alasdair McAndrew" <[EMAIL PROTECTED]> writes: > > | As far as I know, nobody has tried to compare CAS's since Michael Wester's > | attempts in the 1990's. > > Not that I know of. I believe Wester's work date back from late > 1990s. Everywhere e

Re: [Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Gabriel Dos Reis
"Alasdair McAndrew" <[EMAIL PROTECTED]> writes: | As far as I know, nobody has tried to compare CAS's since Michael Wester's | attempts in the 1990's. Not that I know of. I believe Wester's work date back from late 1990s. Everywhere else in computer science, that would be an eternity, but not

[Axiom-developer] Comparison of CAS's?

2007-06-05 Thread Alasdair McAndrew
As far as I know, nobody has tried to compare CAS's since Michael Wester's attempts in the 1990's. And even then, his final test, which had over 500 problems purporting to be from "all areas of mathematics" was not in any way comprehensive: no topology, no abstract algebra, not much logic, nothin