A fast algorithm for proving terminating hypergeometric identities (Reprinted from Discrete Mathematics, vol 80, pg 207-211, 1990)

被引：1

作者：

Zeilberger, D ^{[1
]}

机构：

[1] Drexel Univ, Dept Math, Philadelphia, PA 19104 USA

来源：

DISCRETE MATHEMATICS | 2006年 / 306卷 / 10-11期

关键词：

D O I：

10.1016/j.disc.2006.03.026

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

An algorithm for proving terminating hypergeometric identities, and thus binomial coefficients identities, is presented. It is based upon Gosper's algorithm for indefinite hypergeometric summation. A MAPLE program implementing this algorithm succeeded in proving almost all known identities. Hitherto the proof of such identities was an exclusively human endeavor. (c) 1990 Published by Elsevier B.V.

引用

页码：1072 / 1075

页数：4

共 36 条

[31] One-dimensional thermomechanical constitutive relations for shape memory materials (Reprinted from Journal of Intelligent Material Systems and Structures, vol 1, pg 207-234, 1990)
Liang, C
Rogers, CA
JOURNAL OF INTELLIGENT MATERIAL SYSTEMS AND STRUCTURES, 1997, 8 (04) : 285 - 302
[32] ROTAVIRUS SURVEILLANCE - UNITED-STATES, 1989-1990 (REPRINTED FROM MORBIDITY AND MORTALITY WEEKLY REPORT, VOL 40, PG 80-87, 1991)
不详
JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1991, 265 (08): : 959 - 960
[33] CUDA-enabled hierarchical ward clustering of protein structures based on the nearest neighbour chain algorithm (Reprinted from vol 30, pg 200-211, 2016)
Hoang-Vu Dang
Schmidt, Bertil
Hildebrandt, Andreas
Tuan Tu Tran
Hildebrandt, Anna Katharina
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2017, 31 (03): : 181 - +
[34] Non-trivial t-designs without repeated blocks exist for all t (Reprinted from Discrete Mathematics, vol 65, pg 301-311, 1987)
Teirlinck, L
DISCRETE MATHEMATICS, 2006, 306 (10-11) : 1060 - 1067
[35] Fast deconvolution of multichannel systems using regularization (Reprinted from IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, vol E80-A, pg 809-820, 1997)
Kirkeby, O
Nelson, PA
Hamada, H
Orduna-Bustamante, F
IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING, 1998, 6 (02): : 189 - 194
[36] THE OXYGEN STATUS ALGORITHM - A COMPUTER-PROGRAM FOR CALCULATING AND DISPLAYING PH AND BLOOD-GAS DATA (REPRINTED FROM SCAND J CLIN LAB INVEST, VOL 50, PG 29-45, 1990)
SIGGAARDANDERSEN, O
SIGGAARDANDERSEN, M
SCANDINAVIAN JOURNAL OF CLINICAL & LABORATORY INVESTIGATION, 1993, 53 : A38 - A54

← 1 2 3 4 →