Flavia Iulia Stan,
"Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals"
, Serie SFB F013 Reports, Nummer 2008-3, SFB, Altenbergerstr. 69, 4040 Linz, 2008
Original Titel:
Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals