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

George E. Andrews, Peter Paule

Research output: Contribution to journalArticle

9 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 languageEnglish (US)
Pages (from-to)147-151
Number of pages5
JournalJournal of Symbolic Computation
Volume16
Issue number2
DOIs
StatePublished - Aug 1993

All Science Journal Classification (ASJC) codes

  • Algebra and Number Theory
  • Computational Mathematics

Fingerprint Dive into the research topics of 'Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity'. Together they form a unique fingerprint.

  • Cite this