Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Computer-assisted proofs of special function identities related to Poisson integrals


    Contributors:
    Stan, F. (author)

    Published in:

    RAMANUJAN JOURNAL ; 20 , 1 ; 55-67


    Publication date :

    2009-01-01


    Size :

    13 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    510



    Short proofs of the elliptic beta integrals

    Spiridonov, V. P. | British Library Online Contents | 2007


    Elementary Proofs of Identities for Schur Functions and Plane Partitions

    Bressoud, D. M. | British Library Online Contents | 2000


    Robust Computer System Proofs in PVS

    Wilding, M. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997


    Continued fraction proofs of m-versions of some identities of Rogers–Ramanujan–Slater type

    Bowman, D. / Laughlin, J. / Wyshinski, N. J. | British Library Online Contents | 2011


    Some Unusual Identities for Special Values of the Riemann Zeta Function

    Banks, W. D. | British Library Online Contents | 2001