Russell Lyons, Peter Paule, Axel Riese  Home/Search
Context
Related
| indiana.edu/~rdlyons/pdf/LPR.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/~rdlyons/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. (Update)
Similar documents (at the sentence level):
37.5%: A Computer Proof of a Series Evaluation in Terms of Harmonic .. - Lyons, Paule, Riese (Correct)
Active bibliography (related documents): More All
0.2: A (conjectural) 1/3-Phenomenon For The Number Of Rhombus.. - Krattenthaler (Correct)
0.2: qMultiSum - A Package for Proving q-Hypergeometric Multiple.. - Riese (Correct)
0.2: A Computer Proof Of A Polynomial Identity Implying A.. - Berkovich, Riese (Correct)
Similar documents based on text: More All
0.3: A Mathematica q-Analogue of Zeilberger's Algorithm Based on an .. - Paule, Riese (1991) (Correct)
0.3: Automated Theorem Proving in Support of Computer.. - Adams.. (Correct)
0.3: MacMahon's Partition Analysis VII: Constrained Compositions - George Andrews Peter (Correct)
BibTeX entry: (Update)
@misc{ lyons-computer,
author = "Russell Lyons and Peter Paule and Axel Riese",
title = "A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers",
url = "citeseer.ist.psu.edu/597204.html" }
Citations (may not include all citations):69 An algorithmic proof theory for hypergeometric (context) - Wilf, Zeilberger - 1992
46 A Mathematica version of Zeilberger's algorithm for proving .. - Paule, Schorn - 1995
18 Short and easy computer proofs of the Rogers-Ramanujan ident.. - Paule - 1994
10 Computer generated proofs of binomial multi-sum identities - Wegschaider - 1997
7 Rekursiebetrekkingen voor lineaire hypergeometrische funktie.. (context) - Verbaeten - 1976
2 Stationary determinantal processes: Phase transitions (context) - Lyons, Steif - 2002
1 Randomizafion speeds up hypergeometric summation (context) - Petkovek, Will et al. - 2002
Documents on the same site (http://php.indiana.edu/~rdlyons/): More
Crossing Estimates and Convergence of Dirichlet Functions.. - Ancona, Lyons, Peres (1999) (Correct)
Critical Percolation on Any Nonamenable Group Has No .. - Benjamini, Lyons.. (1999) (Correct)
Unsolved Problems Concerning Random Walks on Trees - Lyons, Pemantle, Peres (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC