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

DOI10.1016/J.JSC.2017.01.005zbMath1357.33025OpenAlexW2587277144MaRDI QIDQ512374

Liangjie Ye

Publication date: 24 February 2017

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2017.01.005

zbMATH Keywords

modular formscomputer algebraJacobi theta functionsalgorithmic zero-recognitionautomatic proving of special function identities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (1)

Elliptic function based algorithms to prove Jacobi theta function relations

Uses Software

• DLMF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Biranks for Partitions into 2 Colors
• Cubic Analogues of the Jacobian Theta Function θ(z, q)
• Ramanujan's Theories of Elliptic Functions to Alternative Bases
• On the cubic modular transformation and the cubic lattice Green functions
• Some Properties of Partitions
• Complex analysis. Transl. from the German by Dan Fulea

This page was built for publication: A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions