TY  - RPRT
TI  - Cylindrical Algebraic Decomposition with Equational Constraints
AU  - Matthew England
AU  - Russell Bradford
AU  - James H. Davenport
PY  - 2019
DO  - 10.1016/j.jsc.2019.07.019
UR  - https://arxiv.org/abs/1903.08999
ID  - 1903.08999
ER  -