
Search the dblp DataBase
Christopher W. Brown:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Christopher W. Brown, Christian Gross
Efficient Preprocessing Methods for Quantifier Elimination. [Citation Graph (0, 0)][DBLP] CASC, 2006, pp:89100 [Conf]
 Christopher W. Brown
Improved projection for CAD's of R^{3}. [Citation Graph (0, 0)][DBLP] ISSAC, 2000, pp:4853 [Conf]
 Christopher W. Brown
Simplification of TruthInvariant Cylindrical Algebraic Decompositions. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:295301 [Conf]
 Christopher W. Brown
Guaranteed Solution Formula Construction. [Citation Graph (0, 0)][DBLP] ISSAC, 1999, pp:137144 [Conf]
 Christopher W. Brown, Scott McCallum
On using biequational constraints in CAD construction. [Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:7683 [Conf]
 Christopher W. Brown, Eric A. Hardisty
RegeXeX: an interactive system providing regular expression exercises. [Citation Graph (0, 0)][DBLP] SIGCSE, 2007, pp:445449 [Conf]
 Christopher W. Brown
Simple CAD Construction and its Applications. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2001, v:31, n:5, pp:521547 [Journal]
 Christopher W. Brown
Improved Projection for Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2001, v:32, n:5, pp:447465 [Journal]
 Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber 0004
Algorithmic methods for investigating equilibria in epidemic modeling. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:11, pp:11571173 [Journal]
 Christopher W. Brown, James H. Davenport
The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP] ISSAC, 2007, pp:5460 [Conf]
I learn from you, you learn from me: How to make iList learn from students. [Citation Graph (, )][DBLP]
Fast simplifications for Tarski formulas. [Citation Graph (, )][DBLP]
On delineability of varieties in CADbased quantifier elimination with two equational constraints. [Citation Graph (, )][DBLP]
Learning Linked Lists: Experiments with the iList System. [Citation Graph (, )][DBLP]
Generating Proactive Feedback to Help Students Stay on Track. [Citation Graph (, )][DBLP]
Search in 0.156secs, Finished in 0.157secs
