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

1992Inventiones mathematicae引用 412
DOI
Advanced Mathematical IdentitiesMathematical functions and polynomialsPolynomial and algebraic computation
Polynomial and algebraic computationAdvanced Mathematical IdentitiesMathematical functions and polynomials
关系图谱

An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities · 相关文章

暂无数据