TY  - RPRT
TI  - Automatic Proof of Theta-Function Identities
AU  - Jie Frye
AU  - Frank Garvan
PY  - 2018
UR  - https://arxiv.org/abs/1807.08051
ID  - 1807.08051
ER  -