Re: [Axiom-mail] Re: CAS for the "masses"

[Gabriel Dos Reis]

Francois Maltey <address@hidden> writes:

| I'm very iteresting by the question.
|    Is there a CAS for "masses" ?
| 
| Let me tell my point of view...
| 
| I must use Maple with my beginning graduate students. 
| About 1 hour per week for them.
| 
| Maple isnot a great idea because the language isn't typed.
| There is only one type of matrix, 0 in Integer = 0 in Float, and so.
| This makes problems almost at every course. 
| Computations with Mupad was more right because the language was typed.

I suspect that arguments about typed language  in CAS may be more
convincing by studying cases where the type system does add value,
greatly help solve problems that are much more difficult to tackle
with a weakly typed language.  Otherwise, I suspect we'll get lost in
"computer scientists" discussions about advanced type systems.

-- Gaby, the devil advocate