P. Paule, C. Schneider.Creative Telescoping for Hypergeometric Double Sums. Technical report no. 24-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2024.arXiv:2401.16314 [cs.SC]. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2023
G.E. Andrews and P. Paule.MacMahon's Partition Analysis XV: Parity. Technical report no. 23-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2023. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2022
K. Banerjee, P. Paule, C. S. Radu, W. H. Zeng.New inequalities for p(n) and log p(n). Research Institute for Symbolic Computation, JKU, Linz. Technical report no. RISC6607, 2022.To appear in the Ramanujan Journal.[pdf][bib]
2020
Peter Paule, Cristian-Silviu Radu.An algorithm to prove holonomic differential equations for modular forms. Technical report no. 20-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2020.A final version appeared in: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2029, eds.: A. Bostan and K. Raschel, Springer, 2021. Licensed under CC BY 4.0 International.[pdf][bib]
Peter Paule, Silviu Radu.Holonomic Relations for Modular Functions and Forms: First Guess, then Prove. RISC. Technical report no. 20-14, 2020.[bib]
2019
Peter Paule, Silviu Radu.A UNIFIED ALGORITHMIC FRAMEWORK FOR RAMANUJAN'S CONGRUENCES MODULO POWERS OF 5, 7, AND 11. Technical report no. 19-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).submitted,2019.[pdf][bib]
2015
Peter Paule, Silviu Radu.Partition Analysis, Modular Functions, and Computer Algebra. Technical report no. 15-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).In Recent Trends in Combinatorics, IMA Volume 511-543,2015. Licensed under CC BY 4.0 International.[pdf][bib]
2012
Peter Paule, Sergei K. Suslov.Relativistic Coulomb Integrals and Zeilbergers Holonomic Systems Approach. I. Technical report no. 12-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.Published in: Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions, Buchreihe: Texts & Monographs in Symbolic Computation, Verlag: Springer Vienna, Print ISBN: 978-3-7091-1615-9..[pdf][bib]
2009
Peter Paule, Silviu Radu.A Proof of Sellers' Conjecture. RISC. Technical report no. 09-17, 2009.[pdf][bib]
2008
William Y. C. Chen, Peter Paule, Husam L. Saad.Converging to Gosper's Algorithm. Technical report no. 08-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2008.Published in: Advances in Applied Mathematics Volume 41, Issue 3, September 2008, Pages 351-364..[pdf][bib]
Peter Paule.Henrici's Friendly Monster Identity Revisited. Technical report no. 08-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2008.Dedicated to Professor Georgy Egorychev on the occasion of his70th birthday. Published in: Advances in Combinatorial Mathematics pp 155-163, Springer..[pdf][bib]
2006
G. E. Andrews, P. Paule.MacMahon's Dream. SFB 013. Technical report, September2006.SFB-report 2006-26. Published in: Partitions, q-Series, and Modular Forms pp 1-12, Springer..[pdf][bib]
G. E. Andrews, P. Paule.MacMahon's Partition Analysis XI: The Search for Modular Forms. SFB 013. Technical report, 2006.SFB-report 2006-27.[pdf][bib]
G. E. Andrews, P. Paule.MacMahon's Partition Analysis XII: Plane Partitions. SFB 013. Technical report, September2006.SFB-report 2006-28. Published in: Journal of the London Mathematical Society, Volume 76, Issue 3, 1 December 2007, Pages 647–666, https://doi.org/10.1112/jlms/jdm079..[pdf][bib]
2004
G.E. Andrews, P. Paule, C. Schneider.Plane Partition VI: Stembridge's TSPP Theorem -- A detailed algorithmic proof. Technical report no. 04-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2004.[pdf][ps][bib]
G. E. Andrews, P. Paule, A. Riese.MacMahon's Partition Analysis XI: Hexagonal Plane Partitions. J. Kepler University Linz. Technical report no. 2004-4, March2004.SFB-Report.[pdf][bib]
1999
Peter Paule, Volker Strehl.Definite Summation and Hypergeometric Identities. Technical report no. 99-44 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1999.[ps][bib]
1995
Peter Paule, Markus Schorn.A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. Technical report no. 95-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1995.Published in Journal of Symbolic Computation..[bib]
Peter Paule, Volker Strehl.Symbolic Summation - Some Recent Developments. Technical report no. 95-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1995.Published in Computer Algebra in Science and Engineering - Algorithms, Systems, and Applications, J. Fleischer, J. Grabmeier, F. Hehl, W. K\"uchlin (eds.), World Scientific, Singapore..[bib]
Peter Paule.Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. Technical report no. 95-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1995.Published in The Electronic Journal of Combinatorics, vol. 1, 1994, R10.[bib]
1993
Petr Lisonek, Peter Paule, Volker Strehl.Improvement of the Degree Setting in Gosper's Algorithm. Technical report no. 93-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January1993.[bib]
Peter Paule.Greatest-Factorial Factorization and Symbolic Summation I. Technical report no. 93-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.Published in: · Journal Journal of Symbolic Computation archive Volume 20 Issue 3, Sept. 1995 Pages 235 - 268 ..[bib]
Peter Paule, Markus Schorn.A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities - A Description How to Use It. Technical report no. 93-36 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.Published in: Journal of Symbolic Computation Volume 20, Issues 5–6, November 1995, Pages 673-698..[bib]
1992
Peter Paule.Solution of a Seminaire Homework Example ($28^th$ SLC). Technical report no. 92-59 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.Published in Talk presented at the 28th Seminaire Lotharingien de Combinatoire, March 15-18, 1992, Domaine Saint-Jaques, France. Paper to be submitted for publication..[bib]
1991
Peter Paule, Volker Strehl.A Remark on an Instance of Gosper's Algorithm. Technical report no. 91-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1991.[bib]
George E. Andrews, Peter Paule.Some Questions Concerning Computer-Generated Proofs of Double-Sum Identity. Technical report no. 91-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1991.Published in: Journal of Symbolic Computation Volume 16, Issue 2, August 1993, Pages 147-151..[bib]
1990
Peter Paule.Computer Algebra Algorithmen f{\"u}r q-Reihen und kombinatorische Identit{\"a}ten. Technical report no. 90-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1990.[bib]
Peter Paule.Solution to Amer. Math. Monthly Problem E3376. Technical report no. 90-48 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1990.[bib]
Peter Paule.Parallel Algorithms in Computer Algebra Zeilberger's Holonomic Systems Approach. Technical report no. 90-49 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1990.[bib]
Peter Paule.Mathematica Overview. Technical report no. 90-62 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1990.Published in J. of Automated Reasoning..[bib]
Peter Paule.An Algorithmic Construction of Combinatorial Bijections as an Application of a Lemma of Ingleton and Piff. Technical report no. 90-66 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1990.[bib]
1989
P. PAULE.A Lagrange Inversion Proof of a Conjecture of J.D. Louck. Technical report no. 89-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1989.[bib]
P. PAULE.Mellin's Series from One Variable Lagrange-Inversion. Technical report no. 89-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1989.[bib]
1988
P. PAULE. Mathematik f\"ur Informatiker III (WS 1987/88). Technical report no. 88-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1988.[bib]