TY - RPRT TI - The complexity of cylindrical algebraic decomposition with respect to polynomial degree AU - Matthew England AU - James H. Davenport PY - 2016 DO - 10.1007/978-3-319-45641-6_12 UR - https://arxiv.org/abs/1605.02494 ID - 1605.02494 ER -