Bruno Buchberger.Nakano’s Light Puzzle: A Correctness Proof for a Greedy Algorithm. Technical report no. 26-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).RISC Report,May2026. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
J. Bluemlein, A.M. Gavrilik, O. Mykhailiv, C. Schneider.The $q$-extension of iterated integrals and nested sums in quantum field theory. Technical report no. 26-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2026.arXiv:2608.02702[math-ph]. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Michael Shalyt, Rotem Kalisch, Carsten Schneider, Hila Barkan, Elyasheev Leibtag, John Campbell, Shachar Weinbaum, Tali Monderer, Ashvni Narayanan, Ido Kaminer.The Ramanujan Challenge For AI. arXiv. Technical report no. arXiv:2607.09721 [math.HO], ISSN 2331-8422, June2026.[doi][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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2025
Alexander Baumgartner, Temur Kutsia.Quantitative generalization of variadic structures with binders. Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria. Technical report, 2025.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
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. Licensed under CC BY 4.0 International.[doi][pdf][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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2024
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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Peter Paule.Askey, Heron, and Computer Algebra. RISC. Technical report no. 24-09, 122024.[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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
