A computer proof of a series evaluation in terms of harmonic numbers
type: Item
instance of: scholarly article
title: A computer proof of a series evaluation in terms of harmonic numbers
zbMATH Open document ID: 1011.33003
author: Russell Lyons
author: Axel Riese
author: Peter Paule
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2003-03-13T00:00:00Z
review text: The authors derive a computer algebra proof of a series evaluation that originates from a definite integration problem. For this proof a new randomised WZ procedure together with other programs are used.
Mathematics Subject Classification ID: 33C20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1882103
reviewed by: Hans Benker
MaRDI profile type: Publication
full work available at URL: s00200-002-0107-z
OpenAlex ID: W1977176408
DOI: 10.1007/S00200-002-0107-Z
description: scientific article; zbMATH DE number 1882103