!!Peter Paule - Major Publications

(1) G.E. Andrews, P. Paule, and C. Schneider, Plane Partitions VI: Stembridge's
TSPP Theorem, Advances in Applied Math. 34 (2005), 709-739.
\\ \\
(2) Manuel Kauers and Peter Paule, A Computer Proof of Moll's Log-Concavity
Conjecture, Proceedings of the AMS 135 (2007), 3847-3856.
\\ \\
(3) G.E. Andrews and P. Paule, MacMahon's Partition Analysis XI: The Search
for Modular Forms, Acta Arithmetica 126 (2007), 281-294.
\\ \\
(4) G.E. Andrews and P. Paule, MacMahon's Partition Analysis XII: Plane
Partitions, J. London Math. Soc. 76 (2007), 647-666.
\\ \\
(5) Manuel Kauers, Peter Paule. The Concrete Tetrahedron. Text and Monographs
in Symbolic Computation, 2011. Springer Wien, ISBN: 978-3-7091-0444-6.
\\ \\
Most cited publications according to [http://www.ams.org/mathscinet] (in
total: Peter Paule is cited 311 times by 176 authors):
\\ \\
(6) Paule, Peter; Schorn, Markus A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities. J. Symbolic Comput. 20 (1995), no. 5-6, 673–698.
\\ \\
(7) Paule, Peter; Riese, Axel A Mathematica $q$q-analogue of Zeilberger's
algorithm based on an algebraically motivated approach to $q$q-hypergeometric
telescoping. Special functions, $q$q-series and related topics (Toronto,
ON, 1995), 179–210, Fields Inst. Commun., 14, Amer. Math. Soc., Providence,
RI, 1997.
\\ \\
(8) Andrews, George E.; Paule, Peter; Riese, Axel MacMahon's partition
analysis: the Omega package. European J. Combin. 22 (2001), no. 7, 887–904.
\\ \\
(9) MR2001619 (2004f:33043) Paule, Peter; Schneider, Carsten Computer
proofs of a new family of harmonic number identities. Adv. in Appl. Math.
31 (2003), no. 2, 359–378.
\\ \\
(10) Paule, Peter Greatest factorial factorization and symbolic summation.
J. Symbolic Comput. 20 (1995), no. 3, 235–268.