×
赫伯特·S·威尔夫。;多龙·泽尔伯格

朝向计算机化身份证明。 （英语） Zbl 0718.05010号

牛市。美国数学。Soc.，新Ser。 23，No.1，77-83（1990）.
R.W.戈斯珀6月[美国国家科学院院刊75，40-42（1978；Zbl 0384.40001号)]给出了一个证明不定超几何和恒等式的有限算法。在本文中，作者描述了在算法上推导和证明确定的超几何恒等式和更一般的完整函数恒等式的一些新步骤。本文与作者的论文《美国数学学会期刊》第1期第147-158页（1990；Zbl 0695.05004号)]。
审核人：伊恩·安德森（格拉斯哥）

引用于1审查
引用于15文件

MSC公司：

19年5月 组合恒等式，双射组合学

关键词：

认证;身份

引文：

Zbl 0384.40001号;兹伯利0695.05004
PDF格式BibTeX公司 XML格式引用
\textit{H.S.Wilf}和\textit{D.Zeilberger}，公牛。美国数学。Soc.，新Ser。23，编号1，77--83（1990；Zbl 0718.05010）
全文： 内政部

参考文献：

[1] 乔治·E·安德鲁斯，《基本超几何函数的应用》，SIAM Rev.16（1974），441-484·Zbl 0299.33004号 ·doi:10.1137/1016081
[2] W.N.Bailey，广义超几何级数，《剑桥数学和数学物理丛书》，第32期，Stechert-Hafner公司，纽约，1964年·Zbl 0011.02303号
[3] I.N.Bernstein，微分算子环上的模，常系数方程基本解的研究，泛函分析。申请。5 (1974), 89-101. ·Zbl 0233.47031号
[4] I.N.BernšteĭN，广义函数关于参数的解析延拓，Funkcional。分析。i Priloíen。6（1972），第4期，26-40。
[5] G.D.Birkhoff和W.J.Trjitzinsky，奇异差分方程分析理论，《数学学报》。60 (1932), 1-8.
[6] J.-E.Björk，微分算子环，北荷兰德数学图书馆，第21卷，北荷兰出版公司，阿姆斯特丹-纽约，1979年。
[7] Shalosh B.Ekhad和Sol Tre，第一个Rogers-Ramanujan恒等式的纯粹验证证明，J.Combin。A 54（1990），编号2309-311·Zbl 0702.05007号 ·doi:10.1016/0097-3165（90）90038-X
[8] A.Erdélyi等人，《高等超越函数》，（3卷），McGraw-Hill，纽约，1953年。
[9] Ira Gessel和Dennis Stanton，超几何级数的奇异评估，SIAM J.数学。分析。13（1982），编号：2295-308·Zbl 0486.33003号 ·doi:10.1137/0513021
[10] R.William Gosper Jr.，不定超几何求和的判定程序，Proc。美国国家科学院。科学。《美国法典》第75卷（1978年），第1期，第40–42页·Zbl 0384.40001号
[11] 亨利·古尔德（Henry W.Gould），《组合恒等式》（Combinatorial identities），亨利·戈尔德（Henny W.Gourd），弗吉尼亚州摩根镇，1972年。列出500个二项式系数总和的一组标准化表格·Zbl 0241.05011号
[12] 罗纳德·格雷厄姆（Ronald L.Graham）、唐纳德·科努特（Donald E.Knuth）和奥伦·帕塔什尼克（Oren Patashnik），《混凝土数学》（Concrete mathematics），第二版，艾迪生-韦斯利出版公司，马萨诸塞州雷丁，1994年。计算机科学基础·兹比尔0836.001
[13] Earl D.Rainville，《特殊功能》，麦克米伦公司，纽约，1960年·Zbl 0092.06503号
[14] Robert H.Risch，有限项积分问题的解，布尔。阿默尔。数学。Soc.76（1970），605-608·Zbl 0196.06801号
[15] B.M.Trager，《关于代数函数的积分》，麻省理工学院博士论文，马萨诸塞州剑桥市，1985年·Zbl 0606.68032号
[16] H.S.Wilf，54二项式系数恒等式的计算机生成证明（即将出现）。
[17] Herbert S.Wilf和Doron Zeilberger，有理函数证明组合恒等式，J.Amer。数学。Soc.3（1990），第1期，147-158·Zbl 0695.05004号
[18] Jet Wimp和Doron Zeilberger，恢复线性复发的渐近性，数学杂志。分析。申请。111（1985），第1期，162-176·Zbl 0579.05007号 ·doi:10.1016/0022-247X（85）90209-4
[19] Doron Zeilberger，《特殊函数恒等式的完整系统方法》，J.Compute。申请。数学。32（1990），第3期，321-368·Zbl 0738.33001号 ·doi:10.1016/0377-0427（90）90042-X
[20] Doron Zeilberger，《创造性伸缩方法》，J.符号计算。11（1991），第3期，195-204·兹比尔0738.33002 ·doi:10.1016/S0747-7171（08）80044-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。