1 paper
Hao Zhong, Leqi Zhao
This paper presents a symbolic computation method for automatically transforming q-hypergeometric identities to q-binomial identities. Through this method, many previously prov…