TY  - RPRT
TI  - An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance
AU  - Matthew England
PY  - 2013
UR  - https://arxiv.org/abs/1306.3062
ID  - 1306.3062
ER  -