[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] Papers on Indefinites

From: Bill Page
Subject: RE: [Axiom-developer] Papers on Indefinites
Date: Sun, 17 Sep 2006 15:28:42 -0400


On September 17, 2006 2:45 PM you wrote:
> Clearly I have some homework to do on this topic, and it's
> important enough that I want to be sure I have the correct
> sources. Looking over the archive links Bill provided (thanks Bill!)
> it looks like papers by Davenport and Fateman are recommended reading.
> Are these the specific papers in question?
> ...

Yes, they are relevant but not central to the issue that you raised.
In fact the concept of "indefinities" was coined by Tim Daly. After
reading about the idea, I do not think that this formulation of the
issue (which is essentially based on proof theory and logic) is the
right approach for Axiom. Really I would prefer a more "algebraic"
approach. I think the paper by Steven Watt referred to in the
following thread:

Making Computer Algebra More Symbolic (Invited), Stephen M. Watt,
pp. 43-49, Proc. Transgressive Computing 2006: A conference
in honor or Jean Della Dora , (TC 2006), April 24-26 2006,
Granada Spain.

is a very important contribution. What he is describing here is
directly related to the implementation of the Expression domain
constructor in Axiom.
Bill Page.

reply via email to

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