Axiom es un sistema de algebra computacional que se distribuye bajo una licencia tipo BSD. Se lleva desarrollando desde principios de los setenta y antes de liberarse como software libre fue un software comercial.

Axiom.