[Axiom-developer] Ideas for "next generation" CAS?

[C Y]

Hey Tim.  I recall some time back you mentioned some ideas you had for
a "proper" redesign of Axiom, incorporating proof systems and some
fundamental design philosophy considerations, among other things.  Is
there a summary of those thoughts somewhere?  I'm having some trouble
finding it in the archives.

Cheers,
CY


                
____________________________________________________
Start your day with Yahoo! - make it your home page 
http://www.yahoo.com/r/hs