- Background on Ideals and Gröbner Bases
- A Gröbner Basis Theorem on Elimination Ideals
- Finding a small generating set for an ideal
- Speeding up runs
- Details of NCProcess
- Adjoints
- Example of discovering
- Formal descriptions of pure lex and multigraded lex
- Engineering motivation for the Control Problem (not for publication)

Wed Jul 3 10:27:42 PDT 1996