[Top][All Lists]

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

[Axiom-developer] Papers on Indefinites

From: C Y
Subject: [Axiom-developer] Papers on Indefinites
Date: Sun, 17 Sep 2006 11:44:59 -0700 (PDT)

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?

James H. Davenport and Christ`ele Faure. The "unknown" in computer
algebra. Programmirovanie, 1(1), 1994.

R. Fateman. Manipulation of matrices symbolically.

Not sure about this one:
Abstract matrices in symbolic computation

I didn't initially appreciate how important (even vital) this topic was
to Axiom.  It looks like this issue will be essential for eventual
support of some very common uses of computer algebra.

Tim, I'm not spotting it in the archives yet - did you ever find the
box with the provisos work in it?

Other links in the archives (I'm sure not comprehensive):

I take it this is the NSF grant?  Papers from this effort will be
Formal and Mathematical Foundations Grant , Parametric Computation in
Axiom: Towards Indefinite Symbolic Computing, co-PI (NSF 2004 - 2006)

Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 

reply via email to

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