Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
Keyword(s):
New short and easy computer proofs of finite versions of the Rogers-Ramanujan identities and of similar type are given. These include a very short proof of the first Rogers-Ramanujan identity that was missed by computers, and a new proof of the well-known quintuple product identity by creative telescoping.
2007 ◽
Vol 135
(07)
◽
pp. 1987-1993
◽
Keyword(s):
1972 ◽
Vol 32
(1)
◽
pp. 42-42
◽
Keyword(s):
2005 ◽
Vol 2005
(15)
◽
pp. 2511-2515
◽
1996 ◽
Vol 68
(1-2)
◽
pp. 3-13
◽
2010 ◽
Vol 06
(02)
◽
pp. 247-256
◽
2009 ◽
Vol 05
(06)
◽
pp. 1129-1148
◽
Keyword(s):
1970 ◽
Vol 26
(1)
◽
pp. 23
◽