author = {Flavia Stan},
title = {{Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals}},
language = {english},
journal = {The Ramanujan Journal},
volume = {20},
number = {1},
pages = {55--67},
publisher = {Springer},
isbn_issn = {ISSN 1382-4090},
year = {2009},
refereed = {yes},
length = {13}