Pages that link to "Item:Q547809"
From MaRDI portal
The following pages link to Combinatorial and automated proofs of certain identities (Q547809):
Displaying 7 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- On proofs of certain combinatorial identities (Q2238486) (← links)
- Combinatorial identities and hypergeometric functions (Q2678270) (← links)
- (Q3346385) (← links)
- (Q5009648) (← links)
- (Q5884404) (← links)