The following pages link to Christopher W. Brown (Q191937):
Displaying 24 items.
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Polynomial constraints and unsat cores in \textsc{Tarski} (Q1662298) (← links)
- Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
- Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
- Open Non-uniform Cylindrical Algebraic Decompositions (Q2819742) (← links)
- Fast simplifications for Tarski formulas (Q2883801) (← links)
- On delineability of varieties in CAD-based quantifier elimination with two equational constraints (Q2883802) (← links)
- Black-box/white-box simplification and applications to quantifier elimination (Q2946522) (← links)
- Constructing a single open cell in a cylindrical algebraic decomposition (Q2963226) (← links)
- Improved projection for CAD's of R <sup>3</sup> (Q3454743) (← links)
- Efficient Preprocessing Methods for Quantifier Elimination (Q3511099) (← links)
- (Q4232513) (← links)
- QEPCAD B (Q4810199) (← links)
- Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving (Q5041067) (← links)
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition (Q5119922) (← links)
- On using bi-equational constraints in CAD construction (Q5262745) (← links)
- (Q5301651) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
