Formal residue and computer proofs of combinatorial identities
From MaRDI portal
Publication:6227868
arXiv1109.4289MaRDI QIDQ6227868
Publication date: 20 September 2011
Symbolic computation and algebraic computation (68W30) Bell and Stirling numbers (11B73) Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)