CTcong.txt

swMATH30553MaRDI QIDQ42267FDOQ42267

Author name not available (Why is that?)

Official website: http://sites.math.rutgers.edu/~zeilberg/tokhniot/CTcong.txt

Described by source

• Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences

Cited In (9)

• How to generate all possible rational Wilf-Zeilberger pairs?
• Using the ``Freshman's dream to prove combinatorial congruences
• Elementary proof of congruences involving sum of binomial coefficients
• MultiZeilberger
• ContMarkovWZ
• RookWalks
• MarkovWZ
• MarkovAZ
• Constant term evaluation and two kinds of congruence

This page was built for software: CTcong.txt