collaborators

1 paper

math.NT2018

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…