L. Ye. Elliptic Function Based Algorithms to Prove Jacobi Theta Function Relations.
J. Symbolic Computation, 89:171-193, 2018.
p2.pdf
—
PDF document,
255 KB (261652 bytes)