[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


-  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

reply via email to

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