CTcong.txt

swMATH30553MaRDI QIDQ42267

No author found.

Described by source

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

Related Items (4)

Elementary proof of congruences involving sum of binomial coefficients ⋮ Constant term evaluation and two kinds of congruence ⋮ Using the “Freshman′s Dream” to Prove Combinatorial Congruences ⋮ How to Generate All Possible Rational Wilf-Zeilberger Pairs?

This page was built for software: CTcong.txt