Andrews' Conjecture on a $_4\phi_3$ Summation and its Extensions

Abstract

We give a computer proof of Andrews' conjecture on a $_4\phi_3$ summation and extend the result to a family of $_4\phi_3$ summations.