Journal: Feb 19, 2009

This site looks like a reasonable resource for computer algebra systems and symbolic manipulation: symbolicnet.org.

Cadabra is a CAS designed for tensor manipulation and field theories (in C++ with TeX based input/output).

Reduce is an old CAS system writen in standard lisp. Includes a FORTRAN and C generation engine called gentran (pdf, acm paper).