[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]