Peter Paule - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2016

Workshop on symbolic combinatorics and algorithmic differential algebraManuel Kauers, Peter Paule, Greg Reid. cca, 50(1):27-34, 2016. [doi]

2012

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach IIChristoph Koutschan, Peter Paule, Sergei K. Suslov. aadios 2014: 135-145 [doi]

2011

The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic EstimatesManuel Kauers, Peter Paule. Texts & Monographs in Symbolic Computation, Springer, 2011. [doi]

2010

Automatic Improvements of Wallis InequalityPeter Paule, Veronika Pillwein. synasc 2010: 12-16 [doi]

2009

2008

Further developments in MacMahon's partition analysis (abstract only)George E. Andrews, Peter Paule. cca, 42(1-2):18, 2008. [doi]

Converging to Gosper's algorithmWilliam Y. C. Chen, Peter Paule, Husam L. Saad. aam, 41(3):351-364, 2008. [doi]

2006

Hypergeometric Summation Algorithms for High-order Finite ElementsA. Becirovic, Peter Paule, V. Pillwein, Axel Riese, C. Schneider, J. Schöberl. computing, 78(3):235-249, 2006. [doi]

Bruno Buchberger - A life devoted to symbolic computationHoon Hong, Deepak Kapur, Peter Paule, Franz Winkler. JSC, 41(3-4):255-258, 2006. [doi]

2005

Plane partitions VI: Stembridge's TSPP theoremGeorge E. Andrews, Peter Paule, Carsten Schneider. aam, 34(4):709-739, 2005. [doi]

2003

Computer proofs of a new family of harmonic number identitiesPeter Paule, Carsten Schneider. aam, 31(2):359-378, 2003. [doi]

Fountains, histograms, and q-identitiesPeter Paule, Helmut Prodinger. dmtcs, 6(1):101-106, 2003. [doi]

2002

A Computer Proof of a Series Evaluation in Terms of Harmonic NumbersRussell Lyons, Peter Paule, Axel Riese. aaecc, 13(4):327-333, 2002. [doi]

2001

2000

Problem 10831George E. Andrews, Peter Paule, Axel Riese. tamm, 107(9):863, 2000. [doi]

An Infinite Family of Engel Expansions of Rogers-Ramanujan TypeGeorge E. Andrews, Arnold Knopfmacher, Peter Paule. aam, 25(1):2-11, 2000. [doi]

1998

q-Hypergeometric solutions of q-difference equationsSergei A. Abramov, Peter Paule, Marko Petkovsek. DM, 180(1-3):3-22, 1998. [doi]

1996

A Proof of a Conjecture of KnuthPeter Paule. em, 5(2):83-89, 1996. [doi]

1995

An Infinite Sum from a Diffusion Problem (A. W. Overhauser and Y J. Kim)István Nemes, Peter Paule, James A. Wilson. siamrev, 37(1):105-107, 1995. [doi]

A Mathematica Version of Zeilberger s Algorithm for Proving Binomial Coefficient IdentitiesPeter Paule, Markus Schorn. JSC, 20(5/6):673-698, 1995.

Greatest Factorial Factorization and Symbolic SummationPeter Paule. JSC, 20(3):235-268, 1995.

1994

Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar TypePeter Paule. combinatorics, 1, 1994. [doi]

1993

Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum IdentyGeorge E. Andrews, Peter Paule. JSC, 16(2):147-153, 1993.

Improvement of the Degree Setting in Gospers s AlgorithmPetr Lisonek, Peter Paule, Volker Strehl. JSC, 16(3):243-258, 1993.

1992

Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest EditorsPeter Paule, Doron Zeilberger. JSC, 14(2/3):123-126, 1992.

1987

A note on Bailey s LemmaPeter Paule. JCT, 44(1):164-167, 1987. [doi]

Sign in or sign up to see more results.

runs on WebDSL