Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity

George E. Andrews, Peter Paule

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	147-151
Number of pages	5
Journal	Journal of Symbolic Computation
Volume	16
Issue number	2
DOIs	https://doi.org/10.1006/jsco.1993.1038
Publication status	Published - Aug 1993

Fields of science

@article{f21e48d1997f46c28c821ba026fa6f03,

title = "Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity",

author = "Andrews, \{George E.\} and Peter Paule",

year = "1993",

month = aug,

doi = "10.1006/jsco.1993.1038",

language = "English",

volume = "16",

pages = "147--151",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

number = "2",

}

TY - JOUR

T1 - Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity

AU - Andrews, George E.

AU - Paule, Peter

PY - 1993/8

Y1 - 1993/8

UR - https://www.scopus.com/pages/publications/0011566267

U2 - 10.1006/jsco.1993.1038

DO - 10.1006/jsco.1993.1038

M3 - Article

SN - 1095-855X

VL - 16

SP - 147

EP - 151

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 2

ER -