×

zbMATH — the first resource for mathematics

Brown, Christopher W.

Compute Distance To:
Author ID: brown.christopher-w Recent zbMATH articles by "Brown, Christopher W."
Published as: Brown, C.; Brown, C. W.; Brown, Christopher; Brown, Christopher W.
Documents Indexed: 23 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH

20 Publications have been cited 175 times in 94 Documents Cited by Year
QEPCAD B: A program for computing with semi-algebraic sets using CADs. Zbl 1083.68148
Brown, Christopher W.
55
2003
Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186
Brown, Christopher W.
30
2001
The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028
Brown, Christopher W.; Davenport, James H.
18
2007
Algorithmic methods for investigating equilibria in epidemic modeling. Zbl 1120.92034
Brown, Christopher W.; El Kahoui, M’hammed; Novotni, Dominik; Weber, Andreas
12
2006
Constructing a single open cell in a cylindrical algebraic decomposition. Zbl 1360.68924
Brown, Christopher W.
11
2013
On using bi-equational constraints in CAD construction. Zbl 1360.68925
Brown, Christopher W.; McCallum, Scott
9
2005
Simple CAD construction and its applications. Zbl 0976.65023
Brown, Christopher W.
9
2001
Open non-uniform cylindrical algebraic decompositions. Zbl 1346.68273
Brown, Christopher W.
4
2015
Constructing a single cell in cylindrical algebraic decomposition. Zbl 1314.68414
Brown, Christopher W.; Košta, Marek
4
2015
Fast simplifications for Tarski formulas based on monomial inequalities. Zbl 1262.68189
Brown, Christopher W.
4
2012
Black-box/white-box simplification and applications to quantifier elimination. Zbl 1321.68525
Brown, Christopher W.; Strzeboński, Adam
4
2010
Simplification of truth-invariant cylindrical algebraic decompositions. Zbl 0918.68058
Brown, Christopher W.
4
1998
On delineability of varieties in CAD-based quantifier elimination with two equational constraints. Zbl 1237.14067
McCallum, Scott; Brown, Christopher W.
2
2009
Fast simplifications for Tarski formulas. Zbl 1237.68098
Brown, Christopher W.
2
2009
Efficient preprocessing methods for quantifier elimination. Zbl 1141.68675
Brown, Christopher W.; Gross, Christian
2
2006
Polynomial constraints and unsat cores in Tarski. Zbl 1395.68353
Vale-Enriquez, Fernando; Brown, Christopher W.
1
2018
Projection and quantifier elimination using non-uniform cylindrical algebraic decomposition. Zbl 07245212
Brown, Christopher W.
1
2017
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Proceedings of the 2007 international symposium on symbolic and algebraic computation, ISSAC 2007, Waterloo, ON, Canada, July 29–August 1, 2007. Zbl 1143.68004
Brown, C. W. (ed.)
1
2007
Improved projection for CAD’s of \(\mathbb{R}^3\). Zbl 1326.68345
Brown, Christopher W.
1
2000
Polynomial constraints and unsat cores in Tarski. Zbl 1395.68353
Vale-Enriquez, Fernando; Brown, Christopher W.
1
2018
Projection and quantifier elimination using non-uniform cylindrical algebraic decomposition. Zbl 07245212
Brown, Christopher W.
1
2017
Open non-uniform cylindrical algebraic decompositions. Zbl 1346.68273
Brown, Christopher W.
4
2015
Constructing a single cell in cylindrical algebraic decomposition. Zbl 1314.68414
Brown, Christopher W.; Košta, Marek
4
2015
Constructing a single open cell in a cylindrical algebraic decomposition. Zbl 1360.68924
Brown, Christopher W.
11
2013
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Fast simplifications for Tarski formulas based on monomial inequalities. Zbl 1262.68189
Brown, Christopher W.
4
2012
Black-box/white-box simplification and applications to quantifier elimination. Zbl 1321.68525
Brown, Christopher W.; Strzeboński, Adam
4
2010
On delineability of varieties in CAD-based quantifier elimination with two equational constraints. Zbl 1237.14067
McCallum, Scott; Brown, Christopher W.
2
2009
Fast simplifications for Tarski formulas. Zbl 1237.68098
Brown, Christopher W.
2
2009
The complexity of quantifier elimination and cylindrical algebraic decomposition. Zbl 1190.68028
Brown, Christopher W.; Davenport, James H.
18
2007
Proceedings of the 2007 international symposium on symbolic and algebraic computation, ISSAC 2007, Waterloo, ON, Canada, July 29–August 1, 2007. Zbl 1143.68004
Brown, C. W. (ed.)
1
2007
Algorithmic methods for investigating equilibria in epidemic modeling. Zbl 1120.92034
Brown, Christopher W.; El Kahoui, M’hammed; Novotni, Dominik; Weber, Andreas
12
2006
Efficient preprocessing methods for quantifier elimination. Zbl 1141.68675
Brown, Christopher W.; Gross, Christian
2
2006
On using bi-equational constraints in CAD construction. Zbl 1360.68925
Brown, Christopher W.; McCallum, Scott
9
2005
QEPCAD B: A program for computing with semi-algebraic sets using CADs. Zbl 1083.68148
Brown, Christopher W.
55
2003
Improved projection for cylindrical algebraic decomposition. Zbl 0981.68186
Brown, Christopher W.
30
2001
Simple CAD construction and its applications. Zbl 0976.65023
Brown, Christopher W.
9
2001
Improved projection for CAD’s of \(\mathbb{R}^3\). Zbl 1326.68345
Brown, Christopher W.
1
2000
Simplification of truth-invariant cylindrical algebraic decompositions. Zbl 0918.68058
Brown, Christopher W.
4
1998
all top 5

Cited by 168 Authors

14 Davenport, James Harold
13 England, Matthew
6 Ábrahám, Erika
6 Bradford, Russell J.
6 Brown, Christopher W.
5 Eirinakis, Pavlos
5 Hong, Hoon
5 Subramani, Krishnan
5 Wilson, David J.
5 Wojciechowski, Piotr J.
4 Anai, Hirokazu
4 Han, Jingjun
4 Kremer, Gereon
4 Paulson, Lawrence Charles
4 Xia, Bican
3 Chen, Changbo
3 McCallum, Scott
3 Moreno Maza, Marc
3 Pillwein, Veronika
3 Ruggieri, Salvatore
3 Sturm, Thomas P.
2 Bridge, James P.
2 Buchberger, Bruno
2 Campagna, Dario
2 Corzilius, Florian
2 Eraşcu, Mădălina
2 Fontaine, Pascal
2 Griggio, Alberto
2 Huang, Zongyan
2 Kahle, Thomas
2 Kanno, Masaaki
2 Kapur, Deepak
2 Košta, Marek
2 Lai, Yisheng
2 Passmore, Grant Olney
2 Piazza, Carla
2 Strzeboński, Adam Wojciech
2 Wang, Renhong
2 Weber, Andreas Günter
2 Wu, Jinming
2 Yokoyama, Kazuhiro
2 Zhan, Naijun
2 Zhao, Hengjun
1 Abbott, John A.
1 Akbarpour, Behzad
1 Beaumont, James C.
1 Becker, Bernd
1 Berberich, Eric
1 Bigatti, Anna Maria
1 Brain, Martin
1 Brambilla, Maria Chiara
1 Caillaud, Benoît
1 Chaves, Rafael
1 Chen, Yuxian
1 Cheng, Jinsan
1 Cimatti, Alessandro
1 Collins, George E.
1 Conradi, Carsten
1 Dai, Liyun
1 Delahaye, Benoît
1 Dixit, Atul
1 Dobal, Pablo Federico
1 El Kahoui, M’hammed
1 Errami, Hassan
1 Fleuriot, Jacques D.
1 Forrest, Stephen
1 Fotiou, Ioannis A.
1 Gandy, Silvia
1 Gerdt, Vladimir P.
1 Gillis, Nicolas
1 Glineur, François
1 Grigor’ev, Dmitriĭ Yur’evich
1 Grimson, Rafael
1 Hara, Shinji
1 Hoyt, Charles
1 Ichihara, Hiroyuki
1 Iosif, Alexandru
1 Iwane, Hidenao
1 Jackson, Paul B.
1 Jaroschek, Maximilian
1 Jebelean, Tudor
1 Jeffrey, David J.
1 Jin, Zhi
1 Kamyar, Reza
1 Kauers, Manuel
1 Kerber, Michael
1 Köppe, Matthias
1 Kröning, Daniel
1 Kuijpers, Bart H. M.
1 Lamperski, Andrew
1 Larsen, Kim Guldstrand
1 Lazard, Daniel
1 Lazard, Sylvain
1 Legay, Axel
1 Li, Haoyang
1 Li, Wenda
1 Li, Xiaoliang
1 Li, Zhibin
1 Liang, Songxin
1 Liao, Qiugen
...and 68 more Authors

Citations by Year