Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
type: Item
instance of: scholarly article
title: Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
zbMATH Open document ID: 0814.05009
published in: The Electronic Journal of Combinatorics
publication date: 1995-04-06T00:00:00Z
full work available at URL: https://eudml.org/doc/118585
full work available at URL: R10
review text: Summary: New short and easy computer proofs of finite versions of the Rogers- Ramanujan identities and of identities 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.
Mathematics Subject Classification ID: 05A19
zbMATH DE Number: 741551
zbMATH Keywords: computer proofs
zbMATH Keywords: Rogers-Ramanujan identity
zbMATH Keywords: quintuple product identity
author: Peter Paule
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 741551