Silvio Ghilardi, Cleo Pau (Editors).Proceedings of the 40th International Workshop on Unification, UNIF 2026. Submitted to the RISC Report Series. July2026.[bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The complete three-loop unpolarized and polarized massive operator matrix elements and asymptotic Wilson coefficients. Technical report no. 26-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2026.[doi][pdf][bib]
Wolfgang Schreiner.Building a Logical Agent with LangChain ... and Quite Some Vibe Coding. Technical report no. 26-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March2026.[doi][pdf][bib]
Tereso del Río, Wolfgang Schreiner, Martina Seidl, Temur Kutsia, Wolfgang Windsteiger .An Intermediate Representation Format for Industrial Optimization Problems - The Translation of OptDSL to MiniZinc. Technical report no. 26-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2026.[doi][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The variable flavor number scheme to three-loop order. Technical report no. 26-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2026.DESY 26-064, RISC Report number 26-06, CERN-TH-2026-113, MPP-2026-89, PoS (LL2026) 025.[doi][pdf][bib]
C. Schneider.A Survey on Symbolic Summation in Difference Rings. Technical report no. 26-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2026.[doi][pdf][bib]
Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernández, Temur Kutsia.Quantitative Equational Rewriting. Technical report no. 26-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2026.[doi][pdf][bib]
Silvio Ghilardi, Cleo Pau (Editors).Proceedings of the 40th International Workshop on Unification, UNIF 2026. Technical report no. 26-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2026.[doi][pdf][bib]
2025
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][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]
J. Ablinger, A. Behring, J. Blümlein, d, A. De Freitas, A. von Manteuffel, C. Schneider, and K. Schönwald.The Single-Mass Variable Flavor Number Scheme at Three-Loop Order. Technical report no. 25-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2025.arXiv:2510.02175 [hep-ph].[doi][pdf][bib]
S. Chen and Y. Gao and H. Huang and C. Schneider.Telescoping Algorithms for $Sigma^*$-Extensions via Complete Reductions. Technical report no. 25-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2025.arXiv:2506.08767 [cs.SC].[doi][pdf][bib]
Jack Heseltine.Theorema Project: Document Processing. Technical report no. 25-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March 022025.Bachelor Thesis at University of Applied Sciences Hagenberg, bachelor program Software Engineering.[doi][pdf][bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, Kay Schoenwald.The two-mass contributions to the three-loop massive operator matrix elements $tilde{A}_{Qg}^{(3)}$ and $Delta tilde{A}_{Qg}^{(3)}$. Technical report no. 25-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2025.[doi][pdf][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schönwald.The three-loop single-mass heavy-flavor corrections to the structure functions $F_2(x, Q^2)$ and $g_1(x, Q^2)$. Technical report no. 25-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2025.[doi][pdf][bib]
Ralf Hemmecke, Peter Paule, Cristian-Silviu Radu.An Algorithm to Compute Algebraic Relations Between Modular Functions. Technical report no. 25-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2025.[doi][pdf][bib]
A. Behring, J. Bluemlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schoenwald.The heavy quark-antiquark asymmetry in the variable flavor number scheme. Technical report no. 25-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2025.arXiv:2512.13508 [hep-ph].[doi][pdf][bib]
Viktoria Langenreither.A Saturation-Based Automated Theorem Prover for RISCAL. Technical report no. 25-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2025.[doi][pdf][bib]
Tereso del Rio, Wolfgang Schreiner, Martina Seidl, Temur Kutsia, Wolfgang Windsteiger.A DSL for Specifying a Class of Industrial Optimisation Problems. Technical report no. 25-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2025.[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]
