A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions

From MaRDI portal