A
Axiom
Mathematics lib_badge_verifiedAxiom 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.



lib_no_comments