Flavia Iulia Stan,
"Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals"
, in The Ramanujan Journal, Vol. 20, Nummer 1, Springer, Seite(n) 55-67, 2009, ISSN: 1382-4090
Original Titel:
Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals