An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities

Abstract
No abstract available

This publication has 43 references indexed in Scilit: