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)