Pages that link to "Item:Q2498005"

The following pages link to A fast algorithm for proving terminating hypergeometric identities. (Reprint) (Q2498005):

Displaying 8 items.

• Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion (Q477275) (← links)
• A 21st century proof of Dougall's hypergeometric sum identity (Q750683) (← links)
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
• A fast algorithm for proving terminating hypergeometric identities (Q913796) (← links)
• Some questions concerning computer-generated proofs of a binomial double- sum identity (Q1332649) (← links)
• Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
• A two-line algorithm for proving terminating hypergeometric identities (Q1917998) (← links)
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities (Q1918487) (← links)