Christopher W. Brown

Available identifiers

zbMath Open brown.christopher-wMaRDI QIDQ191937

List of research outcomes

Publication	Date of Publication	Type
Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski	2024-12-17	Paper
Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition	2024-05-13	Paper
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
The complexity of quantifier elimination and cylindrical algebraic decomposition	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

This page was built for person: Christopher W. Brown