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

13 years 4 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

» Implicit Wiener Series for HigherOrder Image Analysis

» Proving Bounds on RealValued Functions with Computations

» Lazy multivariate higherorder forwardmode AD

» Nearoptimal algorithms for shared filter evaluation in data stream systems

» FeatureDriven Recognition of Music Styles

» Minlog

» Committed Oblivious Transfer and Private MultiParty Computation

» Cost Effective Memory Dependence Prediction using Speculation Levels and Color Sets

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

Document Tools

Image Tools

Sciweavers