axiom-math
[Top][All Lists]
Advanced

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

[Axiom-math] Re: Types in axiom.


From: Tim Daly
Subject: [Axiom-math] Re: Types in axiom.
Date: Wed, 8 Oct 2003 14:07:22 -0400

Bill,

I've started stripping the category/domain/package signatures from the
.spad files and collecting them into a single file. The idea is to try
to understand the lattice of algebra that exists. Once I finish I'll
send it to you and we can chat about it further. Sure hope you found
a good lattice graphing program :-)

There is a good research paper buried in this data somewhere. 

Tim




reply via email to

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