Computer Algebra and Rogers-Ramanujan

I will give a brief introduction and history of the Rogers-Ramanujan identities, and other series-product identities of similar type. Then I will demonstrate, on a computer, a method for conjecturing a polynomial generalization of a given Rogers-Ramanujan type identity. Finally, I will show how the conjectured polynomial identity can be proved automatically on the computer via q-WZ certification. The original Rogers-Ramanujan type series-product identity now follows as an easy corollary of the new polynomial identity.