Pages that link to "Item:Q1010707"
From MaRDI portal
The following pages link to Automated proofs for some Stirling number identities (Q1010707):
Displaying 7 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- Structural theorems for symbolic summation (Q2267370) (← links)
- Summation algorithms for Stirling number identities (Q2469233) (← links)
- Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation (Q5022185) (← links)
- Creative Telescoping for Holonomic Functions (Q5244921) (← links)
- Formal residue and computer-assisted proofs of combinatorial identities (Q5742818) (← links)