gopher://math.berkeley.edu/11/Symbolic_Soft/
This site, located at the University of California at Berkeley, contains a list of currently developed and distributed software for symbolic mathematical applications. Most of the material at this site is obtained from the developers and is kept as up-to-date as possible. Each piece of software has a brief description and the address for users to write or email to for more information.