Aufsatz in einer Fachzeitschrift
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
Details zur Publikation
Autor(inn)en: | Koepf, W.; Larcombe, P. |
Publikationsjahr: | 2009 |
Zeitschrift: | Utilitas Mathematica |
Seitenbereich: | 9-15 |
Jahrgang/Band : | 79 |
Erste Seite: | 9 |
Letzte Seite: | 15 |
ISSN: | 0315-3681 |
Zusammenfassung, 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.
