A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities P Paule, M Schorn Journal of symbolic computation 20 (5-6), 673-698, 1995 | 303 | 1995 |

The concrete tetrahedron M Kauers Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011 | 271 | 2011 |

A Mathematica q-analogue of Zeilberger’s algorithm based on an algebraically motivated approach to q-hypergeometric telescoping P Paule, A Riese Special functions, q-series and related topics 14, 179-210, 1997 | 175 | 1997 |

Greatest factorial factorization and symbolic summation P Paule Journal of symbolic computation 20 (3), 235-268, 1995 | 155 | 1995 |

Computer proofs of a new family of harmonic number identities P Paule, C Schneider Advances in Applied Mathematics 31 (2), 359-378, 2003 | 146 | 2003 |

MacMahon’s partition analysis: the Omega package GE Andrews, P Paule, A Riese European Journal of Combinatorics 22 (7), 887-904, 2001 | 125 | 2001 |

On identities of the Rogers-Ramanujan type P Paule Journal of mathematical analysis and applications 107 (1), 255-284, 1985 | 85 | 1985 |

MacMahon's partition analysis XI: Broken diamonds and modular forms G Andrews, P Paule Acta Arithmetica 126 (3), 281-294, 2007 | 81 | 2007 |

A computer proof of Moll’s log-concavity conjecture M Kauers, P Paule Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007 | 81 | 2007 |

Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type P Paule the electronic journal of combinatorics 1 (1), R10, 1994 | 80 | 1994 |

q-Hypergeometric solutions of q-difference equations SA Abramov, P Paule, M Petkovšek Discrete mathematics 180 (1-3), 3-22, 1998 | 75 | 1998 |

MacMahon's partition analysis VI: A new reduction algorithm GE Andrews, P Paule, A Riese Annals of Combinatorics 5, 251-270, 2001 | 55 | 2001 |

The Concrete Tetrahedron. Texts and monographs in symbolic computation M Kauers, P Paule Springer, Wien 11, 12, 2011 | 52 | 2011 |

The Andrews–Sellers family of partition congruences P Paule, CS Radu Advances in Mathematics 230 (3), 819-838, 2012 | 50 | 2012 |

MacMahon’s partition analysis V: Bijections, recursions, and magic squares GE Andrews, P Paule, A Riese, V Strehl Algebraic Combinatorics and Applications: Proceedings of the Euroconference …, 2001 | 50 | 2001 |

MacMahon's Partition Analysis: VIII. Plane Partition Diamonds GE Andrews, P Paule, A Riese Advances in Applied Mathematics 27 (2-3), 231-242, 2001 | 49 | 2001 |

An infinite family of Engel expansions of Rogers–Ramanujan type GE Andrews, A Knopfmacher, P Paule Advances in Applied Mathematics 25 (1), 2-11, 2000 | 48 | 2000 |

Plane partitions VI: Stembridge's TSPP theorem GE Andrews, P Paule, C Schneider Advances in Applied Mathematics 34 (4), 709-739, 2005 | 44 | 2005 |

Contiguous relations and creative telescoping P Paule Anti-Differentiation and the Calculation of Feynman Amplitudes, 335-394, 2021 | 36 | 2021 |

The construction of orthonormal wavelets using symbolic methods and a matrix analytical approach for wavelets on the interval F Chyzak, P Paule, O Scherzer, A Schoisswohl, B Zimmermann Experimental Mathematics 10 (1), 67-86, 2001 | 36 | 2001 |