[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Axiom and commercial success
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: Axiom and commercial success |
Date: |
24 Aug 2006 00:26:32 +0200 |
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
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, (continued)
- Re: [Axiom-developer] spad: language and compiler, William Sit, 2006/08/30
- Re: [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/30
- RE: [Aldor-l] [Axiom-developer] spad: language and compiler, Page, Bill, 2006/08/30
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/31
- Re: [Aldor-l] [Axiom-developer] spad: language and compiler, Ralf Hemmecke, 2006/08/31
- RE: [Axiom-developer] Re: Axiom and commercial success, Bill Page, 2006/08/23
- [Axiom-developer] Re: Axiom and commercial success, root, 2006/08/24
- Re: [Axiom-developer] Re: Axiom and commercial success, Gabriel Dos Reis, 2006/08/24
- [Axiom-developer] Re: Axiom and commercial success,
Gabriel Dos Reis <=
- Re: [Axiom-developer] SAGE, Axiom, and usage, C Y, 2006/08/22
- Re: [Axiom-developer] SAGE, Axiom, and usage, Gabriel Dos Reis, 2006/08/22
- Re: [Axiom-developer] SAGE, Axiom, and usage, C Y, 2006/08/22
- RE: [Axiom-developer] RE: Another question, Eitan Gurari, 2006/08/22
- Re: [Axiom-developer] RE: Another question, Ralf Hemmecke, 2006/08/22
- Re: [Axiom-developer] RE: Another question, Eitan Gurari, 2006/08/22
- RE: [Axiom-developer] RE: Another question, Page, Bill, 2006/08/22
- Re: [Axiom-developer] RE: Another question, root, 2006/08/22
- RE: [Axiom-developer] RE: Another question, Eitan Gurari, 2006/08/27
- Re: [Axiom-developer] RE: Another question, root, 2006/08/22