A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers

15 years 7 months ago

Download www.risc.jku.at

A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a definite integration problem.

Russell Lyons, Peter Paule, Axel Riese

Real-time Traffic

AAECC 2002 | Algorithms | Definite Integration Problem | Fruitful Interaction | Randomized Wz Procedure |

claim paper

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2002
Where	AAECC
Authors	Russell Lyons, Peter Paule, Axel Riese

Comments (0)

Sciweavers

A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers

AAECC 2002 | Algorithms | Definite Integration Problem | Fruitful Interaction | Randomized Wz Procedure |

Explore & Download

Productivity Tools

Sciweavers