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. |