Maxima

Free, open-source computer algebra system for symbolic computation, formula derivation and mathematical modelling.

Details

Maxima is a classic free, open-source computer algebra system (CAS) for symbolic computation, calculus, equation solving, matrix computation, formula derivation and mathematical modelling.

Alternative to: some symbolic computation uses of Mathematica / Maple

Use cases: symbolic computation, formula derivation, mathematical modelling, teaching demos