A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions
automatic proving of special function identities
scientific article; zbMATH DE number 6688750