A computer proof of a series evaluation in terms of harmonic numbers (Q1861174): Difference between revisions
From MaRDI portal
Normalize DOI. |
Changed label, description and/or aliases in en, and other parts |
||
| description / en | description / en | ||
scientific article | scientific article; zbMATH DE number 1882103 | ||
Latest revision as of 07:21, 25 July 2025
scientific article; zbMATH DE number 1882103
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computer proof of a series evaluation in terms of harmonic numbers |
scientific article; zbMATH DE number 1882103 |
Statements
A computer proof of a series evaluation in terms of harmonic numbers (English)
0 references
13 March 2003
0 references
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.
0 references
