Jin HAITAO

Formal residue and computer-assisted proofs of combinatorial identities

Turkish Journal of Mathematics

2018-Cilt: 42 - Sayı: 5

2466-2480

Formal residue, extended Zeilberger algorithm, Stirling number

61 90