Virginia Tech  CS6104 Home Page
Symbolic Computation
CS 6104, Advanced Topics in the Theory of Computation
First Summer Session, 1996
ADVERTISEMENT
SYLLABUS
Created May 19, 1996
HANDOUTS
Find the homework assignments and other handouts
here.
LECTURE NOTES
Some lecture notes can be found
here.
SCRIBE NOTES
Scribe notes
and a template for creating more notes can be found
here.
MATHEMATICA
Resources on Mathematica can be found
here.
LARCH PROVER
The Larch prover page.
A Guide to LP, The Larch Prover
is available from the
Digital Systems Research Center.
Some small LP related documents (filename="larchDocs.tar.Z"),
including a bibliography on Larch
that points to some proofs accomplished using LP.
The web pages for CS 5034, Models of Computation,
include
some information on using LP,
thanks to Craig.
To use LP on heath.cs.vt.edu,
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.
PROJECTS
Look
here
for information on class projects.
SYMBOLIC COMPUTING
Generally available web resources on symbolic computing are indexed
here.
SEARCH RESOURCES

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.
ANNOUNCEMENTS
Please report any problems found in these pages to:
CS6104 EI Account (cs6104@ei.cs.vt.edu)