Christopher W. Brown

2007
10	EE	Christopher W. Brown, James H. Davenport: The complexity of quantifier elimination and cylindrical algebraic decomposition. ISSAC 2007: 54-60
9	EE	Christopher W. Brown, Eric A. Hardisty: RegeXeX: an interactive system providing regular expression exercises. SIGCSE 2007: 445-449
2006
8	EE	Christopher W. Brown, Christian Gross: Efficient Preprocessing Methods for Quantifier Elimination. CASC 2006: 89-100
7	EE	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	EE	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	EE	Christopher W. Brown: Improved projection for CAD's of R3. ISSAC 2000: 48-53
1999
2	EE	Christopher W. Brown: Guaranteed Solution Formula Construction. ISSAC 1999: 137-144
1998
1	EE	Christopher W. Brown: Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. ISSAC 1998: 295-301

Coauthor Index

1	James H. Davenport	[10]
2	Christian Gross	[8]
3	Eric A. Hardisty	[9]
4	M'hammed El Kahoui	[7]
5	Scott McCallum	[6]
6	Dominik Novotni	[7]
7	Andreas Weber	[7]

Colors in the list of coauthors