Computer Algebra

Nowadays, many Computer Algebra Systems (CAS) are available; some are in the public domain, like

other are commercial, like

ReLie (a REduce program for LIE group analysis of differential equations)

RSA (a Mathematica notebook implementing the RSA cryptography algorithm)