L. Ye. Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities.
PhD thesis, updated version, June 2017. Examiners: Prof. Peter Paule, Prof. Bruce C. Berndt.
ye.pdf
—
PDF document,
865 KB (886679 bytes)