Pages that link to "Item:Q2816619"
From MaRDI portal
The following pages link to Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences (Q2816619):
Displaying 9 items.
- CTcong.txt (Q42267) (← links)
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- The research and progress of the enumeration of lattice paths (Q2689733) (← links)
- On two conjectural supercongruences of Apagodu and Zeilberger (Q2964248) (← links)
- Elementary proof of congruences involving sum of binomial coefficients (Q3174664) (← links)
- Constant term evaluation and two kinds of congruence (Q3177702) (← links)
- How to Generate All Possible Rational Wilf-Zeilberger Pairs? (Q3296309) (← links)
- Using the “Freshman′s Dream” to Prove Combinatorial Congruences (Q4575401) (← links)
- A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences (Q5168653) (← links)