Hello, I've been invited to give a little talk to some people about FOSS mathematical tools (mainly computer algebra systems like Axiom, Maxima, Sage), and numerical systems like Scilab, GNU Octave. Of all the CAS's out there, Axiom is the only one (to my knowledge) which is still alive, so to speak, and which embodies strong typing. Most CAS's, like Maple and Mathematica, I've seen described as "term rewriting" engines; and types don't enter into them. What I'm looking for is an example of a fairly elementary problem (one that most mathematicians and university mathematics teachers could relate to) in which Axiom's type system provides the means for a simple and elegant solution, and which for less strongly typed systems would be difficult.
I did see something once, but naturally I've forgotten what it was, or where I saw it. Anyway, if anybody has any ideas, do please let me know! many thanks, Alasdair -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
