Axiom
Axiom is a general
purpose computer algebra system.
Axiom
is 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 has been in development since 1973 and was sold as a
commercial
product up to October 2001. It has been released as free software.
Features include:
- Uses type inference and a heuristic algorithm to make
explicit type annotations
- Displays two and three dimensional graphics
- Provides interactive features such as rotation and lighting
- (almost) Complete implementation of the Risch algorithm for
elementary integration
- 'HyperDoc', an interactive browser-like help system
Return
to Scientific Home Page
Last Updated Saturday, April 13 2013 @ 06:26 PM EDT
| 
