AMP

Algebraic Manipulation Package

A language for doing symbolic mathematics, written in Modula-2.

Seen on CompuServe.