Christopher W. Brown

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 13

Top Topics

Student Participation

Linear Inequalities

Computer Algebra

Constraint Solvers

Top Venues

Publications

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. CoRR (2022)
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. SYNASC (2022)
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16 (4) (2022)
Christopher W. Brown, Zoltán Kovács, Róbert Vajda
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ADG (2021)
Christopher W. Brown, Scott McCallum
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. CASC (2020)
Christopher W. Brown, Glenn Christopher Daves
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. ICMS (2020)
Christopher W. Brown, Fernando Vale-Enriquez
From simplification to a partial theory solver for non-linear real polynomial constraints. J. Symb. Comput. 100 (2020)
Fernando Vale-Enriquez, Christopher W. Brown
Polynomial Constraints and Unsat Cores in Tarski. ICMS (2018)
Christopher W. Brown
Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition. ISSAC (2017)
Christopher W. Brown
Bridging Two Communities to Solve Real Problems. SYNASC (2016)
Christopher W. Brown, Michael Jenkins
Analyzing proposals for improving authentication on the TLS-/SSL-protected Web. Int. J. Inf. Sec. 15 (6) (2016)
Christopher W. Brown
Open Non-uniform Cylindrical Algebraic Decompositions. ISSAC (2015)
Christopher W. Brown, Marek Kosta
Constructing a single cell in cylindrical algebraic decomposition. J. Symb. Comput. 70 (2015)
Christopher W. Brown
Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions. CoRR (2014)
Christopher W. Brown, Michael Jenkins
Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web. SSR (2014)
Christopher W. Brown
Constructing a single open cell in a cylindrical algebraic decomposition. ISSAC (2013)
Christopher W. Brown
Fast simplifications for Tarski formulas based on monomial inequalities. J. Symb. Comput. 47 (7) (2012)
Christopher W. Brown, Adam W. Strzebonski
Black-box/white-box simplification and applications to quantifier elimination. ISSAC (2010)
Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen
Generating Proactive Feedback to Help Students Stay on Track. Intelligent Tutoring Systems (2) (2010)
Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson, David G. Cosejo, Lin Chen
Supporting Computer Science Curriculum: Exploring and Learning Linked Lists with iList. IEEE Trans. Learn. Technol. 2 (2) (2009)
Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen, David G. Cosejo
I learn from you, you learn from me: How to make iList learn from students. AIED (2009)
Christopher W. Brown
Fast simplifications for Tarski formulas. ISSAC (2009)
Scott McCallum, Christopher W. Brown
On delineability of varieties in CAD-based quantifier elimination with two equational constraints. ISSAC (2009)
Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson
Learning Linked Lists: Experiments with the iList System. Intelligent Tutoring Systems (2008)
Christopher W. Brown, James H. Davenport
The complexity of quantifier elimination and cylindrical algebraic decomposition. ISSAC (2007)
Christopher W. Brown, Eric A. Hardisty
RegeXeX: an interactive system providing regular expression exercises. SIGCSE (2007)
Christopher W. Brown, Christian Gross
Efficient Preprocessing Methods for Quantifier Elimination. CASC (2006)
Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber
Algorithmic methods for investigating equilibria in epidemic modeling. J. Symb. Comput. 41 (11) (2006)
Christopher W. Brown, Sjaak de Vlaming, George Nakos
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations. Algorithmic Algebra and Logic (2005)
Christopher W. Brown, Scott McCallum
On using bi-equational constraints in CAD construction. ISSAC (2005)
Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling. Algorithmic Algebra and Logic (2005)
Christopher W. Brown
QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition. SIGSAM Bull. 38 (1) (2004)
Christopher W. Brown
QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bull. 37 (4) (2003)
Christopher W. Brown
Improved Projection for Cylindrical Algebraic Decomposition. J. Symb. Comput. 32 (5) (2001)
Christopher W. Brown
Simple CAD Construction and its Applications. J. Symb. Comput. 31 (5) (2001)
Christopher W. Brown
. ISSAC (2000)
Christopher W. Brown
Guaranteed Solution Formula Construction. ISSAC (1999)
Christopher W. Brown
Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. ISSAC (1998)