The following pages link to David J. Wilson (Q1636263):
Displaying 6 items.
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition (Q2843003) (← links)
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains (Q2879312) (← links)
- Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases (Q2907329) (← links)
- Cylindrical algebraic decompositions for boolean combinations (Q2963225) (← links)
- A repository for CAD examples (Q5176436) (← links)