Maple (Waterloo Maple)
This firm's main product is "Maple," a symbolic algebra
program that also does two and three-dimensional graphics and
arbitrary precision numbers. The offer extensive information and
support on the product here: a library of books on Maple,
information for their customers, and on-line registration.
http://www.maplesoft.com/