1. Cylindrical algebraic decomposition with equational constraints. (September 2020) Authors: England, Matthew; Bradford, Russell; Davenport, James H. Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 38 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗