64 citations · 592 across the 44 of their papers we have counts for
1 paper · 1 filter
Matthew England, Russell Bradford, James H. Davenport
When building a cylindrical algebraic decomposition (CAD) savings can be made in the presence of an equational constraint (EC): an equation logically implied by a formula. The pres…