lib_badge_canadian

lib_heading

lib_intro

lib_active_filters lib_filter_search_label "research" × lib_filter_category_label Mathematics × lib_clear_all
1 lib_project_found
Verified
A

Axiom

Mathematics lib_badge_verified
Tim Daly, Canadian NSERC-funded contributions 1971 Toronto, Ontario BSD v2023.01

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.

lib_no_comments