From TheBestLinks.com
Axiom is a computer algebra system Axiom is useful for research and development of mathematical algorithms for which it defines a strongly typed, mathematically correct type hierarchy. Axiom comes with an associated, though separable, programming language called A#.
Originally developed by researchers at IBM under the name Scratchpad, Axiom has been in development since 1973, and although it was formerly a commercial product, it is now open-source and free software.
Efforts are underway to extend Axiom to:
- develop a better user interface
- make it useful as a teaching tool
- develop an algebra server protocol
- integrate additional mathematics
- rebuild the algebra in a literate programming style
- integrate logic programming
- develop an Axiom Journal with refereed submissions
See also
External link
Related links
Top visited
0 of
0 links
[no links posted yet]
>> place link >>
Discussion
Last posted
0 of
0 messages
[no messages posted yet]
>> post message >>
Watch
You can
add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
