Formal residue and computer-assisted proofs of combinatorial identities
JIN, Hai-TaoVolume:
42
Journal:
TURKISH JOURNAL OF MATHEMATICS
DOI:
10.3906/mat-1804-42
Date:
September, 2018
File:
PDF, 154 KB
2018