Maple

B. Char, K. Geddes, G. Gonnet, M. Monagan & S. Watt, University of Waterloo, Canada, 1980.

A symbolic mathematics system.

Maple V