Journal: Feb 19, 2009

Bryan Newbold, bnewbold@mit.edu
http://web.mit.edu/bnewbold/thesis/

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).

The proper word for the type heirarchy is 'ontology'. See also footnote 52 in section 2.5 of SICP.


Here's a reading list of scheme stuff... not really related to this project, but still looks fun! Grafted from readscheme.org

(previous entry)