[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006 |
Date: |
18 Sep 2006 22:13:47 +0200 |
Tim --
Many thanks for posting the summary of the conference.
Below I add a small precision.
root <address@hidden> writes:
[...]
| 5) Indefinites.
|
| Tim mentioned that indefinites could be done using provisos.
|
| Bill objected that provisos was a proof-theoretic approach
| and that an algebraic approach might be more axiom-like.
| Thus, express Indefinite(Integer) as a Poly(Int) domain if there
| was sufficient coverage.
|
| Kai thought that both approaches were needed.
|
| 6) Kai has a student who wants to work on provisos.
| Tim agreed to share work with the student.
in both case, I think it was Gaby, not Kai :-)
[...]
| Tim will be generally unavailable until next monday evening.
Have fun!
-- Gaby
- RE: [Axiom-developer] patches to daase.lisp.pamphlet and Axiom forWindows on GCL-2.6.8pre, (continued)
- RE: [Axiom-developer] patches to daase.lisp.pamphlet and Axiom forWindows on GCL-2.6.8pre, Vanuxem Gregory, 2006/09/21
- Re: [Axiom-developer] RE: Google Code repository, Gabriel Dos Reis, 2006/09/19
- RE: [Axiom-developer] RE: Google Code repository, Page, Bill, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Vanuxem Gregory, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Page, Bill, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Vanuxem Gregory, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Page, Bill, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Vanuxem Gregory, 2006/09/21
- RE: [Axiom-developer] RE: Google Code repository, Page, Bill, 2006/09/21
- [Axiom-developer] Re: Google Code repository, Alfredo Portes, 2006/09/21
Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006,
Gabriel Dos Reis <=
Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006, Alfredo Portes, 2006/09/18
Re: [Axiom-developer] Axiom Conference Call Sept 18, 2006, Kai Kaminski, 2006/09/19