GNU Octave

GNU Octave is a Scientific Programming Language with powerful mathematics-oriented syntax with built-in plotting and visualization tools, Free software, runs on GNU/Linux, macOS, BSD, and Windows, and...
Language(s): C, C++, Fortran
Operating system(s): GNU/Linux, Mac OS, BSD, Windows
License: GNU GPLv3

Maxima

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of li...
Language(s): N/A
Operating system(s): Windows, Linux, Mac OS X
License: GNU General Public License

Modelica

Modelica® is a non-proprietary, object-oriented, equation based language to conveniently model complex physical systems containing, e.g., mechanical, electrical, electronic, hydraulic, thermal, contro...
Language(s): N/A
Operating system(s): Cross-platform
License: Modelica License Version 2

PARI/GP

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves, modular forms, L functions...), but also con...
Language(s): C
Operating system(s): Cross-platform
License: GNU General Public License

SageMath

SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and ma...
Language(s): Python
Operating system(s): Linux, Mac OS, Windows, Solaris, Android, iOS
License: GPLv3