Journal article
The Sum 16^n*sum(4^k*binomial(1/2,k)*binomial(-1/2,k)*binomial(-2*k,2*n-k),k=0..2*n):A Computer Assisted Proof of its Closed Form, and Some Generalised Results
Publication Details
Authors: | Koepf, W.; Larcombe, P. |
Publication year: | 2009 |
Journal: | Utilitas Mathematica |
Pages range : | 9-15 |
Volume number: | 79 |
Start page: | 9 |
End page: | 15 |
ISSN: | 0315-3681 |
Abstract
We present a second proof of an interesting binomial coefficient identity which is computer assisted, together with two related generalised results also generated computationally.
We present a second proof of an interesting binomial coefficient identity which is computer assisted, together with two related generalised results also generated computationally.
