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]
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]
2021
A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, K. Schönwald, and C. Schneider.The Polarized Transition Matrix Element $A_{g, q}(N)$ of the Variable Flavor Number Scheme at $O(\alpha_s^3)$. Technical report no. 21-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2021.Available also under arXiv:2101.05733 [hep-ph].[doi][pdf][bib]
J. Ablinger.Extensions of the AZ-algorithm and the Package MultiIntegrate. Technical report no. 21-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2021.[doi][pdf][bib]
C. Schneider.Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation. Technical report no. 21-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2021.[doi][pdf][bib]
J. Ablinger, C. Schneider.Solving linear difference equations with coefficients in rings with idempotent representations. Technical report no. 21-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2021.[doi][pdf][bib]
J. Ablinger, J. Blümlein, C. Schneider.Iterated integrals over letters induced by quadratic forms. Technical report no. 21-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2021.[doi][pdf][bib]
J. Blümlein, A. De Freitas, M. Saragnese, K. Schönwald, C. Schneider.The Logarithmic Contributions to the Polarized $O(alpha_s^3)$ Asymptotic Massive Wilson Coefficients and Operator Matrix Elements in Deeply Inelastic Scattering. Technical report no. 21-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2021.[doi][pdf][bib]
Tudor Jebelean.A Heuristic Prover for Elementary Analysis in Theorema. Technical report no. 21-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Proximity-Based Unification and Matching for Full Fuzzy Signatures. Technical report no. 21-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures. Technical report no. 21-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Lucas Payr.Refinement Types for Elm. Technical report no. 21-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.Master Thesis.[doi][pdf][bib]
Wolfgang Schreiner, Franz-Xaver Reichl.Semantic Evaluation versus SMT Solving in the RISCAL Model Checker. Technical report no. 21-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2021.[doi][pdf][bib]
F. Winkler.My Life in Computer Algebra. Technical report no. 21-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2021.[doi][pdf][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements. Technical report no. 21-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2021.[doi][pdf][bib]
J. Ablinger, J. Blümlein, A. De Freitas, M. Saragnese, C. Schneider, K. Schönwald.New 2– and 3–loop heavy flavor corrections to unpolarized and polarized deep-inelastic scattering. Technical report no. 21-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2021.[doi][pdf][bib]
W. Windsteiger.Automated Theorem Proving in the Classroom. Technical report no. 21-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.Extended version of keynote talk at ADG 2021 conference.[doi][pdf][bib]
Temur Kutsia (editor).9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers. Technical report no. 21-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.[doi][pdf][bib]
J. Blümlein, C. Schneider, M. Saragnese.Hypergeometric Structures in Feynman Integrals. Technical report no. 21-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2021.arXiv:2111.15501 [math-ph].[doi][pdf][bib]
Johann J. Mitteramskogler, Franz Winkler.General solutions of first-order algebraic ODEs in simple constant extensions. Technical report no. 21-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2021.[doi][pdf][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements. Technical report no. 21-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2021.[doi][pdf][bib]
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein.An extension of holonomic sequences: C^2-finite sequences. Technical report no. 21-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2021.[doi][pdf][bib]
Stanislav Purgal and David Cerna and Cezary Kalisyk.Learning Higher-Order Programs without Meta-Interpretive Learning. Technical report no. 21-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2021.[doi][pdf][bib]
Diego Dominici.Recurrence relations for the moments of discrete semiclassical orthogonal polynomials.. Technical report no. 21-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.[doi][pdf][bib]