An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities 论文
1992Inventiones mathematicae引用 412
Advanced Mathematical IdentitiesMathematical functions and polynomialsPolynomial and algebraic computation
详细信息
- 发表期刊/会议
- Inventiones mathematicae
- 发表日期
- 1992-12-01
- 发表年份
- 1992
关键词
Advanced Mathematical IdentitiesMathematical functions and polynomialsPolynomial and algebraic computation