@phdthesis{RISC5463,
author = {Liangjie Ye},
title = {{Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities}},
language = {english},
year = {2017},
note = {Updated version in June 2017},
translation = {0},
school = {RISC and the DK program Linz},
length = {122}
}