Mathcad
A
symbolic mathematics
environment.