CTO
CLiki for the TUNES project
Home
About CLiki
Text Formatting
Axiom
A general purpose
Computer Algebra system
useful for research and development of mathematical algorithms; it defines a
strongly typed
, mathematically correct
type
hierarchy; it has a
programming language
and a built-in compiler.
Axiom Computer Algebra system
.