[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Ideas for "next generation" CAS?
From: |
C Y |
Subject: |
[Axiom-developer] Ideas for "next generation" CAS? |
Date: |
Mon, 8 Aug 2005 09:26:43 -0700 (PDT) |
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
- [Axiom-developer] Ideas for "next generation" CAS?,
C Y <=