Ralf Hemmecke, Peter Paule, Cristian-Silviu Radu.Computer-assisted construction of Ramanujan-Sato series for 1 over pi. Technical report no. 25-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2025.[doi][pdf][bib]
Wolfgang Schreiner, William Steingartner.Semantics-Based Rapid Prototyping of a Subset of SQL. Technical report no. 25-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2025.[doi][pdf][bib]
Besik Dundua, Temur Kutsia.Higher-Order Pattern Unification Modulo Similarity Relations. Technical report no. 25-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2025.[doi][pdf][bib]
2024
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]
Christian Huber.Highway Node Routing. Technical report no. 24-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2024.Bachelor thesis at RISC, Johannes Kepler University Linz.[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]