TY  - RPRT
TI  - Formal residue and computer proofs of combinatorial identities
AU  - Qing-Hu Hou
AU  - Hai-Tao Jin
PY  - 2011
UR  - https://arxiv.org/abs/1109.4289
ID  - 1109.4289
ER  -