CTcong.txt

swMATH30553MaRDI QIDQ42267FDOQ42267

Author name not available (Why is that?)

Described by source

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

Cited In (4)

• 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
• Constant term evaluation and two kinds of congruence

This page was built for software: CTcong.txt