Axiom is a free, open source computer algebra system