Proof of conjectures of Sun on double basic hypergeometric sums

In this paper, we study some q-congruences on double basic hypergeometric sums. With the help of 'creative microscoping' method and several summation and transformation formulas for basic hypergeometric series, we confirmed several conjectures posed by Zhi-Wei Sun. (c) 2023 Elsevier Inc. All rights reserved.

Automated summary

In this paper, we investigate q-congruences on double basic hypergeometric sums and confirm several conjectures proposed by Zhi-Wei Sun using the 'creative microscoping' method and summation and transformation formulas for basic hypergeometric series.