Showing reports by: Brown, Christopher W.

Publication Title Document ID# Authors Publication Date File Bibtex
Algorithm MinWtBasis for simplifying conjunctions of monomial inequalities 2010-01 Brown, Christopher W. 1-28-2010 bibtex
Algorithmic Reformulation of Polynomial Problems 2007-01 Brown, Christopher W. 6-13-2007 bibtex
On Quantifer Elimination by Virtual Term Substitution 2005-07 Brown, Christopher W. 8-24-2005 bibtex
The McCallum Projection, Lifting, and Order-Invariance 2005-02 Brown, Christopher W. 4-22-2005 bibtex