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)