TY - RPRT TI - An implementation of CAD in Maple utilising McCallum projection AU - Matthew England PY - 2013 UR - https://arxiv.org/abs/1302.6401 ID - 1302.6401 ER -