Automatic Proof of Theta-Function Identities

Jie Frye, Frank Garvan

This is a tutorial for using two new MAPLE packages, thetaids and ramarobinsids. The thetaids package is designed for proving generalized eta-product identities using the valence f…