** J. William Helton
- Mark Stankus
**

- Contents
- Strategies and Applications
- Introduction
- Prestrategy
- Example: The Bart-Gohberg-Kaashoek-Van Dooren Theorem
- Examples: Matrix Completion Problems
- Strategies and motivated unknowns
- Example: Solving the Control Problem
- Monomial orders
- Summary
- Appendix to Part I: More details on NCCollectOnVariables

- Theory and more details
- 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)

- About this document ...

Wed Jul 3 10:27:42 PDT 1996