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 | 298 | 1995 |

The concrete tetrahedron M Kauers Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011 | 243 | 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 | 170 | 1997 |

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

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

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

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

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 | 81 | 1994 |

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

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

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

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

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

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 |

The Andrews–Sellers family of partition congruences P Paule, CS Radu Advances in Mathematics 230 (3), 819-838, 2012 | 47 | 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 | 47 | 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 | 45 | 2001 |

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

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

Infinite families of strange partition congruences for broken 2-diamonds P Paule, S Radu The Ramanujan Journal 23 (1), 409-416, 2010 | 35 | 2010 |