Christopher W. Brown

Available identifiers

zbMath Open brown.christopher-wMaRDI QIDQ191937

List of research outcomes

Publication	Date of Publication	Type
Levelwise construction of a single cylindrical algebraic cell	2024-02-05	Paper
Computing with Tarski formulas and semi-algebraic sets in a web browser	2023-08-10	Paper
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?	2023-06-22	Paper
Enhancements to Lazard's method for cylindrical algebraic decomposition	2022-12-21	Paper
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving	2022-10-13	Paper
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski	2022-01-03	Paper
Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition	2020-09-09	Paper
From simplification to a partial theory solver for non-linear real polynomial constraints	2020-03-24	Paper
Polynomial constraints and unsat cores in \textsc{Tarski}	2018-08-17	Paper
Constructing a single open cell in a cylindrical algebraic decomposition	2017-02-10	Paper
Open Non-uniform Cylindrical Algebraic Decompositions	2016-09-29	Paper
Improved projection for CAD's of R 3	2015-11-26	Paper
Black-box/white-box simplification and applications to quantifier elimination	2015-09-17	Paper
On using bi-equational constraints in CAD construction	2015-07-16	Paper
Constructing a single cell in cylindrical algebraic decomposition	2015-05-04	Paper
Fast simplifications for Tarski formulas based on monomial inequalities	2012-05-23	Paper
Fast simplifications for Tarski formulas	2012-05-13	Paper
On delineability of varieties in CAD-based quantifier elimination with two equational constraints	2012-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q5301651	2009-01-20	Paper
Efficient Preprocessing Methods for Quantifier Elimination	2008-07-04	Paper
Algorithmic methods for investigating equilibria in epidemic modeling	2007-10-23	Paper
QEPCAD B	2004-09-01	Paper
Improved projection for cylindrical algebraic decomposition	2002-01-02	Paper
Simple CAD construction and its applications	2001-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4232513	1999-08-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christopher W. Brown