Displaying similar documents to “An algorithmic proof theory for hypergeometric (ordinary and 'q') multisum/integral indentities.”