Christopher W. Brown

According to our database, Christopher W. Brown authored at least 43 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Levelwise construction of a single cylindrical algebraic cell.

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

J. Symb. Comput., July, 2024

Computing with Tarski formulas and semi-algebraic sets in a web browser.

Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda

J. Symb. Comput., 2024

2023

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition.

Christopher W. Brown, Zoltán Kovács, Tomás Recio

ACM Commun. Comput. Algebra, June, 2023

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Towards Detection of Partial Truth via Real Geometry.

Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez

Math. Comput. Sci., 2022

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.

Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2021

Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.

Christopher W. Brown, Zoltán Kovács, Róbert Vajda

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

From simplification to a partial theory solver for non-linear real polynomial constraints.

Christopher W. Brown, Fernando Vale-Enriquez

J. Symb. Comput., 2020

Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving.

Christopher W. Brown, Glenn Christopher Daves

Proceedings of the Mathematical Software - ICMS 2020, 2020

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.

Christopher W. Brown, Scott McCallum

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2018

Polynomial Constraints and Unsat Cores in Tarski.

Fernando Vale-Enriquez, Christopher W. Brown

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition.

Christopher W. Brown

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Analyzing proposals for improving authentication on the TLS-/SSL-protected Web.

Christopher W. Brown, Michael Jenkins

Int. J. Inf. Sec., 2016

Bridging Two Communities to Solve Real Problems.

Christopher W. Brown

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

Constructing a single cell in cylindrical algebraic decomposition.

Christopher W. Brown, Marek Kosta

J. Symb. Comput., 2015

Using a Message Board as a Teaching Tool in an Introductory Cyber-Security Course.

Raymond Greenlaw, Christopher W. Brown, Zachary Dannelly, Andrew Phillips, Sarah Standard

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Open Non-uniform Cylindrical Algebraic Decompositions.

Christopher W. Brown

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions.

Christopher W. Brown

CoRR, 2014

2013

Constructing a single open cell in a cylindrical algebraic decomposition.

Christopher W. Brown

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Fast simplifications for Tarski formulas based on monomial inequalities.

Christopher W. Brown

J. Symb. Comput., 2012

Anatomy, dissection, and mechanics of an introductory cyber-security course's curriculum at the United States naval academy.

Christopher W. Brown, Frederick Crabbe, Rita Doerr, Raymond Greenlaw, Chris Hoffmeister, Justin Monroe, Donald Needham, Andrew Phillips, Anthony G. Pollman, Stephen Schall, John Schultz, Steven Simon, David Stahl, Sarah Standard

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Developing and implementing an institution-wide introductory cyber-security course in record time.

Christopher W. Brown, Frederick Crabbe, Rita Doerr, Raymond Greenlaw, Chris Hoffmeister, Justin Monroe, Donald Needham, Andrew Phillips, Stephen Schall, John Schultz, Steven Simon, David Stahl, Sarah Standard

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2010

Generating Proactive Feedback to Help Students Stay on Track.

Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen

Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010

Black-box/white-box simplification and applications to quantifier elimination.

Christopher W. Brown, Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

Supporting Computer Science Curriculum: Exploring and Learning Linked Lists with iList.

Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson, David G. Cosejo, Lin Chen

IEEE Trans. Learn. Technol., 2009

On delineability of varieties in CAD-based quantifier elimination with two equational constraints.

Scott McCallum, Christopher W. Brown

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Fast simplifications for Tarski formulas.

Christopher W. Brown

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

I learn from you, you learn from me: How to make iList learn from students.

Davide Fossati, Barbara Di Eugenio, Stellan Ohlsson, Christopher W. Brown, Lin Chen, David G. Cosejo

Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

2008

Learning Linked Lists: Experiments with the iList System.

Davide Fossati, Barbara Di Eugenio, Christopher W. Brown, Stellan Ohlsson

Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

2007

RegeXeX: an interactive system providing regular expression exercises.

Christopher W. Brown, Eric A. Hardisty

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

The complexity of quantifier elimination and cylindrical algebraic decomposition.

Christopher W. Brown, James H. Davenport

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

2006

Algorithmic methods for investigating equilibria in epidemic modeling.

Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber

J. Symb. Comput., 2006

Efficient Preprocessing Methods for Quantifier Elimination.

Christopher W. Brown, Christian Gross

Proceedings of the Computer Algebra in Scientific Computing, 9th International Workshop, 2006

2005

On using bi-equational constraints in CAD construction.

Christopher W. Brown, Scott McCallum

Proceedings of the Symbolic and Algebraic Computation, 2005

Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.

Christopher W. Brown, Sjaak de Vlaming, George Nakos

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition.

Christopher W. Brown

SIGSAM Bull., 2004

2003

QEPCAD B: a program for computing with semi-algebraic sets using CADs.

Christopher W. Brown

SIGSAM Bull., 2003

2001

Improved Projection for Cylindrical Algebraic Decomposition.

Christopher W. Brown

J. Symb. Comput., 2001

Simple CAD Construction and its Applications.

Christopher W. Brown

J. Symb. Comput., 2001

2000

Improved projection for CAD's of R³.

Christopher W. Brown

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

Guaranteed Solution Formula Construction.

Christopher W. Brown

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.

Christopher W. Brown

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998