학술논문
Zeilberger to the rescue
Document Type
Working Paper
Author
Source
Subject
Language
Abstract
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problem 11897, problem 11899, problem 11916, and problem 11928. We also show that problem 11928 may lead to interesting combinatorial identities.
Comment: 8 pages
Comment: 8 pages