The following pages link to Matthew England (Q247221):
Displaying 7 items.
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition (Q2843003) (← links)
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains (Q2879312) (← links)
- Cylindrical algebraic decompositions for boolean combinations (Q2963225) (← links)
- Satisfiability checking and symbolic computation (Q5268815) (← links)
- Generating Elementary Integrable Expressions (Q6496591) (← links)
