Russell Lyons, Peter Paule, Axel Riese  Home/Search
Context
Related
| risc.unilinz.ac.at/research/c...LPR.ps 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: risc.unilinz.ac.at/res...#ppaule (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):
38.7%: 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.4: 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/506278.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 Randomization speeds up hypergeometric summation (context) - Riese, Zimmermann - 2002
Documents on the same site (http://www.risc.uni-linz.ac.at/research/combinat/risc/publications/#ppaule): More
Lattice Paths, q-Multinomials And Two Variants Of The.. - Berkovich, Paule (Correct)
q-Engel Series Expansions and Slater's Identities - Andrews, Knopfmacher.. (Correct)
Variants Of The Andrews-Gordon Identities - Berkovich, Paule (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