[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [FrontPage]
From: |
billpage |
Subject: |
[Axiom-developer] [FrontPage] |
Date: |
Tue, 22 Feb 2005 10:59:40 -0600 |
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff
--
??changed:
- 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