TY - RPRT TI - Towards an automation of the circle method AU - Andrew V. Sills PY - 2020 UR - https://arxiv.org/abs/2001.09568 ID - 2001.09568 ER -