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].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements $A_{Qg}^{(3)}$ and $Delta A_{Qg}^{(3)}$. Technical report no. 24-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2024.arXiv:2403.00513 [[hep-ph].[doi][pdf][bib]
G. Ehling, T. Kutsia.Solving Quantitative Equations. Technical report no. 24-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2024.[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The three-loop single-mass heavy flavor corrections to deep-inelastic scattering. Technical report no. 24-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2024.arXiv:2407.02006 [hep-ph].[doi][pdf][bib]
J Bluemlein, A. De Freitas, P. Marquard, C. Schneider.Challenges for analytic calculations of the massive three-loop form factors. Technical report no. 24-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2024. arXiv:2408.07046 [hep-ph].[doi][pdf][bib]
Koustav Banerjee, Peter Paule, Cristian-Silviu Radu, Carsten Schneider.Asymptotics for the reciprocal and shifted quotient of the partition function. Technical report no. 24-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2024.[doi][pdf][bib]
W. Windsteiger.Gray-Box Proving in Theorema. Technical report no. 24-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2024.[doi][pdf][bib]
2023
K. Banerjee.Invariants of the quartic binary form and proofs of Chen's conjectures on inequalities for the partition function and the Andrews' spt function. Submitted to the RISC Report Series. 2023.[pdf][bib]
C. Schneider.Refined telescoping algorithms in $R\Pi\Sigma$-extensions to reduce the degrees of the denominators. Technical report no. 23-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2023.arXiv:2302.03563 [cs.SC].[doi][pdf][bib]
Diego Dominici and Francisco Marcellan.Linear functionals and $Delta$- coherent pairs of the second kind. Technical report no. 23-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2023.[doi][pdf][bib]
M. Kauers, P. Nuspl, V. Pillwein.Order bounds for $C^2$-finite sequences. Technical report no. 23-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2023.[doi][pdf][bib]
Bruno Buchberger.Is ChatGPT Smarter Than Master’s Applicants?. Technical report no. 23-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2023.[doi][pdf][bib]
Diego Dominici .Recurrence relations for the moments of discrete semiclassical functionals of class $sleq2.$. Technical report no. 23-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2023.[doi][pdf][bib]
Joachim Borya.Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker. Technical report no. 23-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2023.Bachelor thesis.[doi][pdf][bib]
Ágoston Sütő.Model Checking Concurrent Systems Under Fairness Constraints in RISCAL. Technical report no. 23-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2023.Master's thesis.[doi][pdf][bib]
J. Bluemlein, A. De Freitas, P. Marquard, N. Rana, C. Schneider.Analytic results on the massive three-loop form factors: quarkonic contributions. Technical report no. 23-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2023.arXiv:2307.02983 [hep-ph].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. Goedicke, A. von Manteuffel, C. Schneider, K. Schoenwald.Recent 3-Loop Heavy Flavor Corrections to Deep-Inelastic Scattering. Technical report no. 23-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2023.arXiv:2306.16550 [hep-ph].[doi][pdf][bib]
K. Banerjee, N.A. Smoot.2-Elongated Plane Partitions and Powers of 7: The Localization Method Applied to a Genus 1 Congruence Family. Technical report no. 23-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2023.[doi][pdf][bib]
Johannes Bluemlein, Nikolai Fadeev, Carsten Schneider.Computing Mellin representations and asymptotics of nested binomial sums in a symbolic way: the RICA package. Technical report no. 23-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2023.Appeared in ACM Communications in Computer Algebra, Vol. 57, No. 2, Issue 224, June 2023, arXiv:2308.06042 [hep-ph].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The first-order factorizable contributions to the three-loop massive operator matrix elements $A_{Qg}^{(3)}$ and $Delta A_{Qg}^{(3)}$. Technical report no. 23-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2023.arXiv:2311.00644 [hep-ph].[doi][pdf][bib]
Wolfgang Schreiner, William Steingartner.The SLANG Semantics-Based Language Generator. Technical report no. 23-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2023.[doi][pdf][bib]
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.[doi][pdf][bib]
2022
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The Two-Loop Massless Off-Shell QCD Operator Matrix Elements to Finite Terms. Technical report no. 22-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022.[doi][pdf][bib]
P. Nuspl, V. Pillwein.Simple $C^2$-finite Sequences: a Computable Generalization of $C$-finite Sequences. Technical report no. 22-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022.[doi][pdf][bib]
J. Blümlein, C. Schneider.The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals. Technical report no. 22-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2022.arXiv:2203.13015 [hep-th].[doi][pdf][bib]
Temur Kutsia, Cleo Pau.A framework for approximate generalization in quantitative theories. Technical report no. 22-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2022.[doi][pdf][bib]
P. Nuspl, V. Pillwein.A comparison of algorithms for proving positivity of linearly recurrent sequences. Technical report no. 22-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2022.[doi][pdf][bib]
P. Nuspl.$C$-finite and $C^2$-finite Sequences in SageMath. Technical report no. 22-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2022.[doi][pdf][bib]
Wolfgang Schreiner.The RISCTP Theorem Proving Interface - Tutorial and Reference Manual (Version 1.0.*). Technical report no. 22-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2022.[doi][pdf][bib]
J. Bluemlein, M. Saragnese, C. Schneider.Computer Algebra and Hypergeometric Structures for Feynman Integrals. Technical report no. 22-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2022. arXiv:2207.08524 [math-ph].[doi][pdf][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The 3-loop anomalous dimensions from off-shell operator matrix elements. Technical report no. 22-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2022.[doi][pdf][bib]
Diego Dominici and Francisco Marcell{\'a}n.Truncated Hermite polynomials. Technical report no. 22-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.[doi][pdf][bib]
Diego Dominici.Comparative asymptotics for discrete semiclassical orthogonal polynomials. Technical report no. 22-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.[doi][pdf][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The massless three-loop Wilson coefficients for the deep-inelastic structure functions $F_2, F_L, xF_3$ and $g_1$. Technical report no. 22-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.arXiv:2208.14325 [hep-ph].[doi][pdf][bib]
Koustav Banerjee, Peter Paule, Cristian-Silviu Radu, Carsten Schneider.Error bounds for the asymptotic expansion of the partition function. Technical report no. 22-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2022.arXiv:2209.07887 [math.NT].[doi][pdf][bib]
G.E. Andrews, P. Paule.MacMahon's Partition Analysis XIV: Partitions with n copies of n. Technical report no. 22-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2022.Research Article.[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. Goedicke, A. von Manteuffel, C. Schneider, K. Schoenwald.The Unpolarized and Polarized Single-Mass Three-Loop Heavy Flavor Operator Matrix Elements $A_{gg, Q}$ and $Delta A_{gg, Q}$. Technical report no. 22-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2022.arXiv:2211.05462 [hep-ph].[doi][pdf][bib]
Diego Dominici and Juan José Moreno Balcázar.Asymptotic analysis of a family of Sobolev orthogonal polynomials related to the generalized Charlier polynomials. Technical report no. 22-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2022.[doi][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. ISSN 2791-4267 (online).February2022.[doi][pdf][bib]
N. Smoot.Divisibility Arising From Addition: The Application of Modular Functions to Infinite Partition Congruence Families. Technical report no. 22-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022.[doi][pdf][bib]
K. Banerjee, M. G. Dastidar.Ramanujan's theta functions and parity of parts and cranks of partitions. Technical report no. 22-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.To appear in Annals of Combinatorics.[doi][pdf][bib]
K. Banerjee, M. G. Dastidar.Inequalities for the partition function arising from truncated theta series. Technical report no. 22-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.[doi][pdf][bib]
K. Banerjee, N. A. Smoot.The localization method applied to k-elongated plane partitions and divisibily by 5. Technical report no. 22-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.[doi][pdf][bib]
