×
詹姆斯·麦克劳林;安德鲁·希尔斯。;彼得·齐默

Rogers-Ramanujan计算机搜索。 （英语） Zbl 1175.33018号

J.塞姆。计算。 44，第8期，1068-1078（2009）.
摘要：我们描述了三种计算机搜索（分别在PARI/GP、Maple和Mathematica中），它们导致发现了许多Rogers-Ramanujan类型的恒等式和虚假theta函数的恒等性。

引用于8文件

MSC公司：

第11页84 分区标识；Rogers-Ramanujan型的恒等式
11个B65 二项式系数；阶乘\（q\）-标识
第33天第15天 一个变量中的基本超几何函数\（｛｝_r\phi_s\）
33层10 特殊函数的符号计算（Gosper和Zeilberger算法等）

关键词：

贝利对;假θ函数;Rogers-Ramanujan恒等式;\（q\）-系列;\（q\）-WZ认证;\（q\）-Zeilberger算法

软件：

qZeil公司;PARI/GP公司;恩格尔;RR工具;数学软件;枫树;q系列
PDF格式BibTeX公司 XML格式引用
\textit{J.McLaughlin}等人，J.Symb。计算。44，第8号，1068--1078（2009；Zbl 1175.33018）
全文： 内政部 arXiv公司

参考文献：

[1] Andrews，G.E.，《使用计算机搜索Rogers-Ramanujan类型的身份》，（《数论中的计算机》（Proc.Sci.Res.Council Atlas Sympos.No.2，牛津，1969）（1971），学术出版社：伦敦学术出版社），377-387·Zbl 0221.05005号
[2] Andrews，G.E.，《分区理论，数学及其应用百科全书》，第2卷（1998年），Addison-Wesley：Addison-Whesley Reading，MA，再版剑桥大学出版社·Zbl 0996.11002号
[3] Andrews，G.E.，《1阶分区理想，Rogers-Ramanujan恒等式和计算机》（Groupe d'tude d'Algbre（Marie-Paule Malliavin），《Re-anne》（1975/76），第6号实验（1978），学术出版社：纽约学术出版社），8页·Zbl 0153.02101号
[4] Andrews，G.E.，澳大利亚拉马努扬令人难以置信的配方。数学。Soc.天然气公司。，6, 3, 80-89 (1979) ·Zbl 0426.10016号
[5] Andrews，G.E.，多级数Rogers-Ramanujan型恒等式，太平洋数学杂志。，114, 267-283 (1984) ·Zbl 0547.10012号
[6] Andrews，G.E.，（q）-系列：它们在分析、数论、组合学、物理学和计算机代数中的发展和应用，（CBMS数学区域会议系列，第66卷（1986年），Amer。数学。Soc：美国。数学。Soc普罗维登斯，RI）·Zbl 0594.33001号
[7] Andrews，G.E.（物理学、Ramanujan和计算机代数），《计算机代数》（纽约，1984年）。物理、Ramanujan和计算机代数。《计算机代数》（纽约，1984年），《纯粹与应用》讲义。数学。，第113卷（1989），《德克尔：德克尔纽约》，97-109·Zbl 0677.05008号
[8] 安德鲁斯，G.E。；Baxter，R.J.，硬六边形模型III的晶格气体推广：（q）-三项系数，J.统计物理学。，47, 297-330 (1987) ·Zbl 0638.10009号
[9] 安德鲁斯，G.E。；克诺普马赫，A。；Knopfmacher，J.，Engel展开式和Rogers-Ramanujan恒等式，J.数论，80，2，273-290（2000）·Zbl 0954.11028号
[10] 安德鲁斯，G.E。；Knopfmacher，A.，《发现和证明（q）系列恒等式的算法方法》，《算法的平均案例分析》（新泽西州普林斯顿，1998年）。算法的平均案例分析（普林斯顿，新泽西州，1998），《算法》，29，1-2，34-43（2001）·Zbl 0987.33009号
[11] 安德鲁斯，G.E。；Knopfmacher，A。；Paule，P。；Zimmermann，B.，计算机代数对（q）级数的Engel展开，（符号计算、数论、特殊函数、物理学和组合数学）（佛罗里达州盖恩斯维尔，1999）。符号计算、数论、特殊函数、物理学和组合数学（佛罗里达州盖恩斯维尔，1999），发展数学。，第4卷（2001年），Kluwer Acad。出版：Kluwer Acad。Publ Dordrecht出版社），33-57·Zbl 1055.33018号
[12] 安德鲁斯，G.E。；Knopfmacher，A。；Paule，P。；Prodinger，H.，（q）-恩格尔级数展开式和Slater恒等式。献给奎斯特约翰·克诺普马赫。数学。，24, 3, 403-416 (2001) ·Zbl 1024.11054号
[13] Bailey，W.N.，组合分析中的一些恒等式，Proc。伦敦数学。Soc.（2），49，421-425（1947）·Zbl 0041.03403号
[14] Bailey，W.N.，Rogers-Ramanujan类型的恒等式，Proc。伦敦数学。《社会学杂志》（2），50，1-10（1948）·Zbl 0031.39203号
[15] Bailey，W.N.，关于Rogers-Ramanujan类型的一些恒等式的简化，Proc。伦敦数学。Soc.（3），1217-221（1951）·Zbl 0043.06103号
[16] 布勒克史密斯，R。；布里尔哈特，J。；Gerst，I.，《Ramanujan配对的计算机辅助调查》，数学。公司。，46, 174, 731-749 (1986) ·Zbl 0586.10008号
[17] Bowman，D.，McLaughlin，J.，Sills，A.V.，2008年。罗杰斯·拉马努扬类型的更多身份，拉马努詹J.（出版中）；Bowman，D.，McLaughlin，J.，Sills，A.V.，2008年。罗杰斯·拉马努扬类型的更多身份，拉马努詹J.（出版中）·兹比尔1196.11141
[18] 埃哈德，S.B。；Tre，S.，第一个Rogers-Ramanujan身份的纯粹验证证据，J.Comb。理论Ser。A、 54、309-311（1990）·Zbl 0702.05007号
[19] Garvan，F.G.，1999年。A \（qq\）http://www.math.ufl.edu/frank/qmaple/qmaplet.html；Garvan，F.G.，1999年。A \（qq\）网址：http://www.math.ufl.edu/frank/qmaple/qmaple.html
[20] Gessel，I。；Stanton，D.，（q）-拉格朗日反演在基本超几何级数中的应用，Trans。阿默尔。数学。《社会学杂志》，277173-201（1983）·Zbl 0513.33001号
[21] 医学博士Hirschorn，《另外两对Ramanujan》，J.Austral。数学。Soc.序列号。A、 30、1、1-4（1980/81）·Zbl 0444.05011号
[22] Koornwinder，T.H.，《关于Zeilberger算法及其（q）模拟》，J.Compute。申请。数学。，48, 91-111 (1993) ·Zbl 0797.65011号
[23] Lewin，L.，《代数领域中的双对数》，J.Austral。数学。Soc.序列号。A、 33、3、302-330（1982）·Zbl 0507.33010号
[24] Loxton，J.H.，双对数函数的特殊值，亚里士多德学报。，43, 2, 155-166 (1984) ·Zbl 0485.10036号
[25] McLaughlin，J。；Sills，A.V.，Ramanujan-与模18和模24相关的later型恒等式，J.Math。分析。申请。，344, 2, 765-777 (2008) ·Zbl 1155.05006号
[26] McLaughlin，J.，Sills，A.V.，2008年。Ramanujan-Slater型恒等式的组合数学，整数（出版中）；McLaughlin，J.，Sills，A.V.，2008年。Ramanujan-Slater型恒等式的组合，整数（出版中）·Zbl 1220.11130号
[27] McLaughlin，J。；窗台，A.V。；Zimmer，P.，Rogers-Ramanujan-Slater型恒等式，组合数学电子杂志，15，#DS15（2008），59页·Zbl 1153.33005号
[28] Paule，P.，Rogers-Ramanujan恒等式和类似类型恒等式的简单计算机证明，电子组合，1，#R10，1-9（1994）·Zbl 0814.05009号
[29] Paule，P。；Riese，A.，（《基于代数激励方法的Zeilberger算法在特殊函数中的数学模拟》）。基于代数激励的超几何伸缩方法的Zeilberger算法的数学模拟，特别函数，（q）系列和相关主题，Fields Inst.Commun。，第14卷（1997）），179-210，包装可在http://www.risc.uni-linz.ac.at/research/combinet/software/qZeil/ ·Zbl 0869.33010号
[30] B.里士满。；Szekeres，G.，《与双对数、zeta函数和Andrews-Gordon恒等式有关的一些公式》，J.Austral。数学。Soc.序列号。A、 31、3、362-373（1981）·兹伯利0471.10032
[31] Rogers，L.J.，《关于某些无限产品扩张的第二本回忆录》，Proc。伦敦数学。学会（1），25，318-343（1894）
[32] 罗杰斯，L.J.，《关于组合分析和相关恒等式的两个定理》，Proc。伦敦数学。学会（2），17，315-336（1917）
[33] Sills，A.V.，《有限Rogers-Ramanujan型恒等式》，《电子杂志》，第10期，#13（2003），122页·Zbl 1011.05003号
[34] Sills，A.V.，-一个帮助发现和证明有限Rogers-Ramanujan类型恒等式的Maple包，J.符号计算。，37, 415-448 (2004) ·Zbl 1137.33318号
[35] Slater，L.J.，罗杰斯级数变换的新证明，Proc。伦敦数学。Soc.（2），53，460-475（1951）·Zbl 0044.06102号
[36] Slater，L.J.，《Rogers-Ramanujan型的进一步恒等式》，Proc。伦敦数学。《社会学杂志》（2），54，147-167（1952）·Zbl 0046.27204号
[37] Stanton，D.，（The Bailey-Rogers-Ramanujan Group，（q）-组合数学、数论和物理学应用系列（伊利诺伊州乌尔班纳，2000）。Bailey-Rogers-Ramanujan Group，《组合数学、数论和物理学应用系列》（伊利诺伊州乌尔班纳，2000年），康特姆。数学。，第291卷（2001年），美国。数学。Soc：美国。数学。Soc Providence，RI），55-70·Zbl 1009.33016号
[38] Wilf，H.S。；Zeilberger，D.，有理函数证明组合恒等式，J.Amer。数学。《社会学杂志》，3147-158（1990）·Zbl 0695.05004号
[39] Wilf，H.S。；Zeilberger，D.，超几何（普通和（q）“）多和/积分恒等式的算法证明理论，发明。数学。，108, 575-633 (1992) ·Zbl 0739.05007号
[40] Zeilberger，D.，证明终止超几何级数的快速算法，离散数学。，80, 207-211 (1990) ·兹比尔0701.05001
[41] Zeilberger，D.，《创造性伸缩方法》，J.符号计算。，11, 195-204 (1991) ·Zbl 0738.33002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。