Virginia Tech - CS6104 - Symbolic Computation Resources


A major index to symbolic computation resources on the Web is Symbolic Net. Another is Computer Algebra Information Network.

Also check out what is available through our own Ben Keller's home page.

Dershowitz and Jouannaud's chapter on term rewriting from the Handbook of Theoretical Computer Science is available online.


Please report any problems found in these pages to:

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