lib_active_filters
lib_filter_search_label "NSERC" ×
lib_filter_category_label Mathematics ×
lib_clear_all
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