[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Axiom meeting at ISSAC
From: |
didier deshommes |
Subject: |
[Axiom-developer] Axiom meeting at ISSAC |
Date: |
Wed, 1 Aug 2007 11:55:57 -0400 |
(Sorry, meant to send this to the whole list)
---------- Forwarded message ----------
From: didier deshommes <address@hidden>
Date: 1 août 2007 11:53
Subject: Re: [Axiom-developer] Axiom meeting at ISSAC
To: Stephen Wilson <address@hidden>
31 Jul 2007 21:18:26 -0400, Stephen Wilson <address@hidden>:
> FYI, this is already being seriously pursued in an experimental branch
> of the Axiom system, and the Aldor question does not impact that
> effort. If at all interested in the details, please do not hesitate
> to ask.
Hi Stephen,
That sounds very interesting. How developed is this? Does it have the
same goals as Aldor? Does it aim to be compatible with Aldor? Any
information providing some kind of comparison of this vs Aldor would
be appreciated.
didier
- Re: [Axiom-developer] Axiom meeting at ISSAC, (continued)
[Axiom-developer] Axiom meeting at ISSAC,
didier deshommes <=
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Gabriel Dos Reis, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Gabriel Dos Reis, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Gabriel Dos Reis, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Gabriel Dos Reis, 2007/08/01
- Re: [Axiom-developer] Axiom meeting at ISSAC, Stephen Wilson, 2007/08/01