Re: Re: CAS for the "masses"

Francois Maltey <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <[email protected]> 
Dear Gabriel,

> 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.  

The Caley-Hamilton theorem is for me a very good example.
I admire the Martin reponse.

Francois
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.