Computer-assisted proofs of special function identities related to Poisson integrals
RAMANUJAN JOURNAL ; 20 , 1 ; 55-67
2009-01-01
13 pages
Article (Journal)
English
DDC: | 510 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Short proofs of the elliptic beta integrals
British Library Online Contents | 2007
|Elementary Proofs of Identities for Schur Functions and Plane Partitions
British Library Online Contents | 2000
|Robust Computer System Proofs in PVS
British Library Conference Proceedings | 1997
|Continued fraction proofs of m-versions of some identities of Rogers–Ramanujan–Slater type
British Library Online Contents | 2011
|Some Unusual Identities for Special Values of the Riemann Zeta Function
British Library Online Contents | 2001
|