Axiom is a free, open-source computer algebra system with a long history. Canadian mathematicians supported through NSERC (Natural Sciences and Engineering Research Council) have contributed significantly to its formal mathematics libraries and documentation.