An Algorithmic Approach to Discovering and Proving q-Series Identities

George E. Andrews, Arnold Knopfmacher. An Algorithmic Approach to Discovering and Proving q-Series Identities. Algorithmica, 29(1):34-43, 2001. [doi]

Abstract

Abstract is missing.