RRtools—a Maple package for aiding the discovery and proof of finite Rogers–Ramanujan type identities

doi:10.1016/j.jsc.2003.04.002

Journal of Symbolic Computation

Volume 37, Issue 4, April 2004, Pages 415-448

https://doi.org/10.1016/j.jsc.2003.04.002 Get rights and content

Under an Elsevier user license

open archive

Abstract

The purpose of this paper is to introduce the RRtools and recpf Maple packages which were developed by the author to assist in the discovery and proof of finitizations of identities of the Rogers–Ramanujan type.

Keywords

Rogers–Ramanujan identities

q-series

Experimental mathematics