RISC JKU

Algorithmic Combinatorics Publications

Type: [any] [Papers] [Theses] [Technical Reports] [Other
Author: [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider
Year: [any] [2024] [2023] [2022] [2021] [2020] [2019] [earlier

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]
J. Sellers, N. Smoot. On the Divisibility of 7-Elongated Plane Partition Diamonds by Powers of 8. Technical report no. 22-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2022. [url] [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]
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. submitted, 2019. [pdf] [bib]
Tobias Magnusson. The functional equation of Dedekind's $\eta$-function. June 15 2018. [pdf] [tex] [bib]
V. Pillwein. Positivity of the Gillis-Reznick-Zeilberger rational function. Technical report no. 18-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2018. [pdf] [bib]
J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald. The Three Loop Two-Mass Contribution to the Gluon Vacuum Polarization. Cornell University. Technical report no. arXiv:1710.04500 [hep-ph], 2017. [url] [bib]
Xinhua Xiong. Overpartition function modulo 16 and some binary quadratic forms. Technical report no. 5 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN: 1793-0421, 8 2016. [bib]
Felix Breuer, Zafeirakis Zafeirakopoulos. Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems. Technical report no. 15-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2015. [pdf] [bib]
Felix Breuer, Dennis Eichhorn, Brandt Kronholm. Polyhedral geometry, supercranks, and combinatorial witnesses of congruences for partitions into three parts. arXiv , August 2015. [url] [pdf] [pdf] [bib]
Felix Breuer, Brandt Kronholm. A POLYHEDRAL MODEL OF PARTITIONS WITH BOUNDED DIFFERENCES AND A BIJECTIVE PROOF OF A THEOREM OF ANDREWS, BECK, AND ROBBINS. arXiv , May 2015. [url] [pdf] [bib]
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li. An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. arxiv. Technical report no. 1501.04668, 2015. [pdf] [bib]
Manuel Kauers, Christoph Koutschan. Integral D-Finite Functions. arxiv. Technical report no. 1501.03691, 2015. [pdf] [bib]
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. In Recent Trends in Combinatorics, IMA Volume 511-543, 2015. [pdf] [bib]
Angelos Mantzaflaris, Hamid Rahkooy, Zafeirakis Zafeirakopoulos. Efficient Computation of Multiplicity and Directional Multiplicity of an Isolated Point. Technical report no. 15-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2015. [pdf] [bib]
Manuel Kauers. Bounds for D-Finite Closure Properties. arxiv. Technical report no. 1408.5514, 2014. [pdf] [bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Desingularization of Ore Operators. arxiv. Technical report no. 1408.5512, 2014. [pdf] [bib]
Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. Arxiv. Technical report no. 1409.3669, 2014. [pdf] [bib]
M. Kauers, R. Yatchak. Walks in the Quarter Plane with Multiple Steps. RISC. Technical report, arXiv:1411.3537, November 2014. [url] [bib]
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. HAL. Technical report no. hal-01021928, 2014. [url] [bib]
Alexandre Benoit, Mioara JoldeČ™, Marc Mezzarobba. Rigorous Uniform Approximation of D-finite Functions Using Chebyshev Expansions. HAL. Technical report no. hal-01022420, 2014. [url] [bib]
Maximilian Jaroschek, Manuel Kauers, Shaoshi Chen, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. ArXiv. Technical report no. 1301.0917, 2013. [ps] [pdf] [bib]
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ArXiv. Technical report no. 1301.2486, 2013. [pdf] [bib]
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. ArXiv. Technical report no. 1306.4263, 2013. [pdf] [bib]
Fredrik Johansson. Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. arxiv. Technical report no. 1309.2877, 2013. [pdf] [bib]
Fredrik Johansson, Brian Nakamura. Using functional equations to enumerate 1324-avoiding permutations. arxiv. Technical report no. 1309.7117, 2013. [url] [pdf] [bib]
Fredrik Johansson. Evaluating parametric holonomic sequences using rectangular splitting. arxiv. Technical report no. 1310.3741, 2013. [url] [pdf] [bib]
Richard P. Brent, Fredrik Johansson. A bound for the error term in the Brent-McMillan algorithm. arxiv. Technical report no. 1312.0039, 2013. [url] [pdf] [bib]
Manuel Kauers and Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. ArXiv. Technical report no. 1311.3720, 2013. [pdf] [bib]
Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. Technical report no. 13-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2013. Published in: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Lecture Notes in Computer Science 8372, pp. 135-145, Springer-Verlag Berlin Heidelberg, 2014. ISBN 978-3-642-54478-1.. [pdf] [bib]
Hamid Rahkooy, Zafeirakis Zafeirakopoulos. On Computing Elimination Ideals Using Resultants with Applications to Groebner Bases. Research Institute for Symbolic Computations, Doctoral College Computational Mathematics. Technical report, 2013. [url] [bib]
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. 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]
Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. ArXiv. Technical report no. 1201.1954, 2012. [pdf] [ps] [bib]
Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. ArXiv. Technical report no. 1201.1982, 2012. [ps] [pdf] [bib]
Manuel Kauers, Ryan O\'Donnell, Li-Yang Tan, Yuan Zhou. Hypercontractive inequalities via SOS, with an application to Vertex-Cover. ArXiv. Technical report no. 1212.5324, 2012. [pdf] [ps] [bib]
Silviu Radu, James Sellers. Congruences Modulo Squares of Primes for Fu's Dots Bracelet Partitions. Technical report no. 12-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]
V. Pillwein, S. Takacs. A local Fourier convergence analysis of a multigrid method using symbolic computation. DK Computational Mathematics. Technical report no. DK Report 2012-04, April 2012. [pdf] [bib]
Zafeirakis Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Technical report no. 12-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2012. Thesis. [pdf] [bib]
Manuel Kauers. A Mathematica Package for Computing Asymptotic Expansions of Solutions of P-Finite Recurrence Equations. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2011. [ps] [pdf] [bib]
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. ArXiv. Technical report no. 1107.2015, 2011. [ps] [pdf] [bib]
Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. [url] [pdf] [bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. DK Computational Mathematics. Technical report no. 2011-12, Johannes Kepler University Linz, Austria, 2011. [pdf] [bib]
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the family of Sugeno-Weber t-norms. ArXiv. Technical report no. 1007.5442, July 2010. [ps] [pdf] [bib]
Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. ArXiv. Technical report no. 1011.4671, 2010. [ps] [pdf] [bib]
Christoph Koutschan. HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2010. [url] [pdf] [bib]
C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos . A Note on the Average Complexity Analysis of the Computation of Periodic and Aperiodic Ternary Complementary Pairs . DK Computational Mathematics. Technical report no. DK Report 2010-08, 2010. [pdf] [bib]
S. Beuchler, V. Pillwein and S. Zaglmayr . Sparsity optimized high order finite element functions for H(div) on simplices . DK Computational Mathematics. Technical report no. DK Report 2010-04, 2010. [pdf] [bib]
V. Pillwein, S. Takacs . Computing smoothing rates of collective point smoothers for optimal control problems using symbolic computation . DK Computational Mathematics. Technical report no. DK Report 2010-09, 2010. [pdf] [bib]
Manuel Kauers. Guessing Handbook. Technical report no. 09-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2009. [pdf] [nb] [bib]
Peter Paule, Silviu Radu. A Proof of Sellers' Conjecture. RISC. Technical report no. 09-17, 2009. [pdf] [bib]
J. Kraus, V. Pillwein, L. Zikatanov. Algebraic multilevel iteration methods and the best approximation to 1/x in the uniform norm. RICAM. Technical report no. 2009-17, 2009. [ps] [pdf] [bib]
Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. Doctoral Program Computational Mathematics. Technical report no. DK-2009-03, November 2009. To appear in Contemporary Mathematics. [pdf] [bib]
Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Technical report no. 09-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2009. Master Thesis. [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. December 2008. Dedicated to Professor Georgy Egorychev on the occasion of his70th birthday. Published in: Advances in Combinatorial Mathematics pp 155-163, Springer.. [pdf] [bib]
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. December 2008. Published in: Advances in Applied Mathematics Volume 41, Issue 3, September 2008, Pages 351-364.. [pdf] [bib]
Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. SFB F13. Technical report no. 2008-3, January 2008. [pdf] [ps] [bib]
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. Calculemus/MKM 2007 - Work in Progress. Technical report no. 07-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [ps] [pdf] [bib]
Silviu Radu. New Upper Bounds on Rubik's cube. Combinatorics. Technical report no. 07-08, 2007. [bib]
Flavia Stan. On Recurrences for Ising Integrals. SFB F13. Technical report no. 2007-32, December 2007. [pdf] [bib]
Manuel Kauers. Computer Algebra and Power Series with Positive Coefficients. SFB F013. Technical report no. 2006-33, Altenbergerstrasse 69, November 2006. [ps] [pdf] [bib]
V. Levandovskyy. Intersection of Ideals with Non-commutative Subalgebras. J. Kepler University Linz. Technical report no. 2006-14, April 2006. the final version has been accepted for the Proceedings ISSAC 2006. SFB Report. [pdf] [bib]
Manuel Kauers, Viktor Levandovskyy. An Interface between Mathematica and Singular. SFB F013. Technical report no. 2006-29, 2006. [pdf] [ps] [bib]
G. E. Andrews, P. Paule. MacMahon's Dream. SFB 013. Technical report, September 2006. 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, September 2006. 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]
Stefan Gerhold, Manuel Kauers, Joachim Schoeberl. On a Conjectured Inequality for a Sum of Legendre Polynomials. SFB F013. Technical report, April 2006. [ps] [bib]
J. P. Bell, S. Gerhold. The Positivity Set of a Recurrence Sequence. J. Kepler University Linz. Technical report, to appear in Israel J. Math., 2005. SFB report. [pdf] [bib]
C. Schneider. Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions (Extended Version). J. Kepler University Linz. Technical report no. 2005-08, 2005. SFB-Report. [ps] [pdf] [bib]
Manuel Kauers. ZET User Manual. SFB F13. Technical report no. 2004-05, 2004. [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, March 2004. SFB-Report. [pdf] [bib]
C. Schneider. Symbolic Summation with Single-Nested Sum Extensions (Extended Version). J. Kepler University, Linz. Technical report no. 2004-7, 2004. Published in Proc. ISSAC'04. SFB-Report. [ps] [pdf] [bib]
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. May 2004. [pdf] [ps] [bib]
Burkhard Zimmermann. Difference Forms and Hypergeometric Sums. Technical report no. 00-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2000. Master Thesis. [ps] [bib]