TY - RPRT TI - Formulating problems for real algebraic geometry AU - Matthew England PY - 2014 UR - https://arxiv.org/abs/1405.3461 ID - 1405.3461 ER -