Liangjie Ye,
"Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities"
, Serie RISC and the DK program Linz, 2017
Original Titel:
Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities