 | 2009 |
|---|
| 12 |       | Christopher W. Brown:
Fast simplifications for Tarski formulas.
ISSAC 2009: 63-70 |
| 11 | | Scott McCallum,
Christopher W. Brown:
On delineability of varieties in CAD-based quantifier elimination with two equational constraints.
ISSAC 2009: 71-78 |
| 2007 |
|---|
| 10 | | Christopher W. Brown,
James H. Davenport:
The complexity of quantifier elimination and cylindrical algebraic decomposition.
ISSAC 2007: 54-60 |
| 9 | | Christopher W. Brown,
Eric A. Hardisty:
RegeXeX: an interactive system providing regular expression exercises.
SIGCSE 2007: 445-449 |
| 2006 |
|---|
| 8 | | Christopher W. Brown,
Christian Gross:
Efficient Preprocessing Methods for Quantifier Elimination.
CASC 2006: 89-100 |
| 7 | | Christopher W. Brown,
M'hammed El Kahoui,
Dominik Novotni,
Andreas Weber:
Algorithmic methods for investigating equilibria in epidemic modeling.
J. Symb. Comput. 41(11): 1157-1173 (2006) |
| 2005 |
|---|
| 6 | | Christopher W. Brown,
Scott McCallum:
On using bi-equational constraints in CAD construction.
ISSAC 2005: 76-83 |
| 2001 |
|---|
| 5 |  | Christopher W. Brown:
Simple CAD Construction and its Applications.
J. Symb. Comput. 31(5): 521-547 (2001) |
| 4 | | Christopher W. Brown:
Improved Projection for Cylindrical Algebraic Decomposition.
J. Symb. Comput. 32(5): 447-465 (2001) |
| 2000 |
|---|
| 3 | | Christopher W. Brown:
Improved projection for CAD's of R3.
ISSAC 2000: 48-53 |
| 1999 |
|---|
| 2 | | Christopher W. Brown:
Guaranteed Solution Formula Construction.
ISSAC 1999: 137-144 |
| 1998 |
|---|
| 1 | | Christopher W. Brown:
Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.
ISSAC 1998: 295-301 |
