[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Tue, 22 Feb 2005 10:59:40 -0600
- and development of mathematical algorithms. It defines a strongly typed,
- mathematically correct type hierarchy. It has a
- "programming language and a built-in compiler":ProgrammingAxiom.
and development of mathematical algorithms. The [Axiom Language] provides a
convenient way to express abstract mathematical concepts. It defines a
over 1,000 strongly-typed mathematical domains and categories. Axiom has both
an "interpreter":AxiomInterpreter and a built-in "compiler":ProgrammingAxiom.
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden