dblp.uni-trier.dewww.uni-trier.de

Christopher W. Brown

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)