Computer-assisted proofs of special function identities related to Poisson integrals
scientific article; zbMATH DE number 5633535