author = {Flavia Stan}, title = {{Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals}}, language = {english}, number = {2008-3}, year = {2008}, month = {January}, institution = {SFB F13}, length = {8}