A new elementary algorithm for proving \(q\)-hypergeometric identities (Q1401154)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A new elementary algorithm for proving \(q\)-hypergeometric identities
scientific article

    Statements

    A new elementary algorithm for proving \(q\)-hypergeometric identities (English)
    0 references
    0 references
    17 August 2003
    0 references
    The author gives a fast elementary algorithm to get a small number \(n_1\) for an admissible \(q\)-proper-hypergeometric identity \(\sum_k F(n,k)= G(n)\), \(n\geq n_0\). Some examples are given.
    0 references
    \(q\)-hypergeometric identities
    0 references
    computer proofs
    0 references
    elimination
    0 references
    0 references

    Identifiers