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

作者：Ye Liangjie^*

来源：Journal of Symbolic Computation, 2017, 82: 134-163.

DOI：10.1016/j.jsc.2017.01.005

• Jacobi theta functions
• Modular forms
• Algorithmic zero-recognition
• Computer algebra
• Automatic proving of special function identities

The class of objects we consider are algebraic relations between the four kinds of classical Jacobi theta functions theta(j)(z vertical bar r), j = 1,, 4, and their derivatives. We present an algorithm to prove such relations automatically where the function argument z is zero, but where the parameter tau. in the upper half complex plane is arbitrary.

• 出版日期2017-10