A computer proof of a polynomial identity implying a partition theorem of Göllnitz

DOI10.1006/AAMA.2001.0764zbMATH Open1021.11027arXivmath/0102106OpenAlexW2041103088MaRDI QIDQ696795FDOQ696795

Authors: Alexander Berkovich, Axel Riese 

Publication date: 12 September 2002

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Abstract: In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra package qMultiSum developed by the second author. qMultiSum implements an algorithmic refinement of Wilf and Zeilberger's multi-q-extension of Sister Celine's technique utilizing additional ideas of Verbaeten and Wegschaider.

Full work available at URL: https://arxiv.org/abs/math/0102106

Recommendations

• scientific article; zbMATH DE number 2188357
• scientific article; zbMATH DE number 2063235
• An analogue of Euler's identity and new combinatorial properties of \(n\)-colour compositions
• Rogers-Ramanujan identities for n-color partitions
• A THEOREM ON SEVEN-COLORED OVERPARTITIONS AND ITS APPLICATIONS
• Publication:4502697
• scientific article; zbMATH DE number 7692844
• Some identities concerning partition functions and divisor sums
• scientific article; zbMATH DE number 1153447
• Some new identities for colored partition

zbMATH Keywords

partitions\(q\)-binomial coefficientsmathematica packageqMultiSumGöllnitz's theorem

Mathematics Subject Classification ID

Combinatorial aspects of partitions of integers (05A17) Combinatorial identities, bijective combinatorics (05A19) Partitions; congruences and congruential restrictions (11P83)

Cites Work

• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• Title not available (Why is that?)
• Partitionen mit Differenzenbedingungen.
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Title not available (Why is that?)
• A quartic key identity for a partition theorem of Göllnitz
• A double bounded version of Schur's partition theorem
• Title not available (Why is that?)

Cited In (6)

• Creative telescoping for holonomic functions
• \(q\)-hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem
• Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• A Priori Solution Estimates for Nonlinear Vector Integral Equations
• New polynomial analogues of Jacobi's triple product and Lebesgue's identities

Uses Software

• Mathematica
• qMultiSum

This page was built for publication: A computer proof of a polynomial identity implying a partition theorem of Göllnitz

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q696795)