|
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]
|
