Computer-assisted proofs of special function identities related to Poisson integrals
type: Item
instance of: scholarly article
title: Computer-assisted proofs of special function identities related to Poisson integrals
zbMATH Open document ID: 1182.33017
author: Flavia Stan
published in: The Ramanujan Journal
publication date: 2009-11-16T00:00:00Z
Mathematics Subject Classification ID: 33C45
Mathematics Subject Classification ID: 40B05
Mathematics Subject Classification ID: 33F10
zbMATH DE Number: 5633535
describes a project that uses: GeneratingFunctions
describes a project that uses: MultiSum
MaRDI profile type: Publication
full work available at URL: s11139-009-9165-1
OpenAlex ID: W2075899140
cites work: Q4222737
cites work: A computer proof of a series evaluation in terms of harmonic numbers
cites work: A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
cites work: Q5488122
cites work: A fast algorithm for proving terminating hypergeometric identities
DOI: 10.1007/S11139-009-9165-1
description: scientific article; zbMATH DE number 5633535