An algorithmic proof theory for hypergeometric (prdinary and "q") multisum/integral identies

収録刊行物

• Invent. Math.

  Invent. Math. 108 575-633, 1992