Virginia Tech - CS6104 Home Page

Symbolic Computation

Find the homework assignments and other handouts here.

Some lecture notes can be found here.

Scribe notes and a template for creating more notes can be found here.

Resources on Mathematica can be found here.

The web pages for CS 5034, Models of Computation, include some information on using LP, thanks to Craig.

add the following alias to your .cshrc file:

alias lp '/home/cstruble/bin/lp -d /home/cstruble/lib/lp3.1b'

The command 'lp' then starts larch prover.

Look here for information on class projects.

Generally available web resources on symbolic computing are indexed here.

Use firstsearch to find journal articles (INSPEC), books (BOOKSINPRINT), or dissertations (DISS).
Yahoo! provides a general index to web resources.
Altavista is a general tool for searching the web by keywords.

Find out about the people in the class.
Find out what's on reserve in Newman Library. Last updated 5/24/96.
There is a macro file reduction.tex that contains TeX macros for the notation in the Book and Otto book. Created 6/4/96.
In September, there is a school in type systems and term rewriting!

Please report any problems found in these pages to:

CS6104 EI Account (cs6104@ei.cs.vt.edu)