-
Sage is a free open-source mathematics software system licensed under the GPL.
-
Cadabra is the name of a universal computer algebra system designed for those users looking for the solution to problems encountered in the filed theory.
-
Mathics is a general purpose computer algebra system that is designed to deliver a powerful functional programming language to its users.
-
GAP system for computational discrete algebra, especially computational group theory.
-
Collimator is a modeling and simulation platform for engineers to design and test complex, mission critical systems in a way that is reliable, secure, fast and intuitive. https://www.collimator.ai/.