3 citations · 3 across the 1 of their papers we have counts for
1 paper
Zongyan Huang, Matthew England, David Wilson +2
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use…