TY - RPRT TI - An implementation of Sub-CAD in Maple AU - Matthew England AU - David Wilson PY - 2015 UR - https://arxiv.org/abs/1503.06599 ID - 1503.06599 ER -