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

George E. Andrews; Peter Paule

doi:10.1006/jsco.1993.1038

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

George E. Andrews, Peter Paule

Mathematics

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

12 Scopus citations

Abstract

Along two different proofs of a double-sum identity involving binomial coefficients this paper raises some questions of general character concerning computer-assisted treatment of the given double sum and of identities of similar type.

Original language	English (US)
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
State	Published - Aug 1993

All Science Journal Classification (ASJC) codes

Algebra and Number Theory
Computational Mathematics

Access to Document

10.1006/jsco.1993.1038

Cite this

@article{3d7d706f7f1344d6b5d74240e4a8eac1,

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

abstract = "Along two different proofs of a double-sum identity involving binomial coefficients this paper raises some questions of general character concerning computer-assisted treatment of the given double sum and of identities of similar type.",

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

year = "1993",

month = aug,

doi = "10.1006/jsco.1993.1038",

language = "English (US)",

volume = "16",

pages = "147--151",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

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

N2 - Along two different proofs of a double-sum identity involving binomial coefficients this paper raises some questions of general character concerning computer-assisted treatment of the given double sum and of identities of similar type.

AB - Along two different proofs of a double-sum identity involving binomial coefficients this paper raises some questions of general character concerning computer-assisted treatment of the given double sum and of identities of similar type.

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

UR - https://www.scopus.com/inward/citedby.url?scp=0011566267&partnerID=8YFLogxK

U2 - 10.1006/jsco.1993.1038

DO - 10.1006/jsco.1993.1038

M3 - Article

AN - SCOPUS:0011566267

SN - 0747-7171

VL - 16

SP - 147

EP - 151

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 2

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this