Pages that link to "Item:Q1332649"
From MaRDI portal
The following pages link to Some questions concerning computer-generated proofs of a binomial double- sum identity (Q1332649):
Displaying 12 items.
- Multiple binomial sums (Q346550) (← links)
- On the summability of bivariate rational functions (Q403066) (← links)
- A fast approach to creative telescoping (Q541971) (← links)
- A note on two identities arising from enumeration of convex polyominoes (Q556271) (← links)
- MultInt, a MAPLE package for multiple integration by the WZ method (Q1864891) (← links)
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities (Q1918487) (← links)
- Constructing minimal telescopers for rational functions in three discrete variables (Q2168558) (← links)
- An algorithm for deciding the summability of bivariate rational functions (Q2254998) (← links)
- A telescoping method for double summations (Q2503028) (← links)
- (Q4320811) (← links)
- Creative Telescoping for Holonomic Functions (Q5244921) (← links)
- Creative telescoping for hypergeometric double sums (Q6650579) (← links)
