|
Search the dblp DataBase
Christopher W. Brown:
[Publications]
[Author Rank by year]
[Co-authors]
[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:89-100 [Conf]
- Christopher W. Brown
Improved projection for CAD's of R3. [Citation Graph (0, 0)][DBLP] ISSAC, 2000, pp:48-53 [Conf]
- Christopher W. Brown
Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:295-301 [Conf]
- Christopher W. Brown
Guaranteed Solution Formula Construction. [Citation Graph (0, 0)][DBLP] ISSAC, 1999, pp:137-144 [Conf]
- Christopher W. Brown, Scott McCallum
On using bi-equational constraints in CAD construction. [Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:76-83 [Conf]
- Christopher W. Brown, Eric A. Hardisty
RegeXeX: an interactive system providing regular expression exercises. [Citation Graph (0, 0)][DBLP] SIGCSE, 2007, pp:445-449 [Conf]
- Christopher W. Brown
Simple CAD Construction and its Applications. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2001, v:31, n:5, pp:521-547 [Journal]
- Christopher W. Brown
Improved Projection for Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2001, v:32, n:5, pp:447-465 [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:1157-1173 [Journal]
- Christopher W. Brown, James H. Davenport
The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP] ISSAC, 2007, pp:54-60 [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 CAD-based 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.001secs, Finished in 0.002secs
|