Axiom is free and open source software. It is copyrighted code that is released under the Modified BSD license.

This is OpenAxiom, the open scientific computation system. OpenAxiom is a BSD-licensed free software for symbolic and algebraic computations.

Proving Axiom Correct is the overall research goal. Axiom is a very large, strongly typed, general purpose computer algebra system.

Syntax files for Axiom computer algebra system files - vim-scripts/axiom.vim.

### Axiom (computer algebra system) - Wikipedia

en.wikipedia.org wiki Axiom_(computer_algebra_system)

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly ...

In 2007 FriCAS forked from Axiom. Currently the FriCAS algebra library is one of the largest and most advanced free general purpose computer algebra systems -- ...

PanAxiom. Description: PanAxiom includes several forks of the Axiom computer algebra system, focusing on different aspects of symbolic computation.

Computational Mathematics is not a competition, it is a field of study. Do what you can to make it better for all. Axiom has several goals.

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms.

Missing: github | Show results with:github

FriCAS is an advanced computer algebra system. It is freely available under a modified BSD license. FriCAS is a fork (2007) of the Axiom computer algebra system ...