[Axiom-developer] Re: Axiom and commercial success

[Gabriel Dos Reis]

root <address@hidden> writes:

[...]

| My measure of success is that we conduct research into long-term
| ideas such as literate computational math, provably correct 
| mathematical algorithms, mathematically sound organization,
| correct handling of provisos, etc.

Do you know what happened to the "Restricted Equational Derivations"
project described in

    "Representation of Inference in Computer Algebra Systems with
     Application to Intelligent Tutoring"
     T. A. Ager, R. A. Ravaglia, S. Dooley

?

-- Gaby