root <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
