| 1 | ||
|
Editor: page
Time: 2007/09/12 00:23:04 GMT-7 |
||
| Note: | ||
changed: - The [Axiom Library] contains over 1,000 strongly-typed mathematical domains and categories. It is written in "Spad":AxiomCompiler. The source code for the library is here: http://wiki.axiom-developer.org/axiom--test--1/src/algebra These [Pamphlet Files] are part of the standard Axiom distribution. See also [Axiom Algebra].
The Axiom Library contains over 1,000 strongly-typed mathematical domains and categories. It is written in Spad. The source code for the library is here:
http://wiki.axiom-developer.org/axiom--test--1/src/algebra
These Pamphlet Files are part of the standard Axiom distribution.
See also Axiom Algebra.