CTcong.txt

MaRDI QIDQ42267swMATHFDO

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)

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

This page was built for software: CTcong.txt