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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernández, Temur Kutsia.Quantitative Equational Rewriting. Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria. Technical report, 2026.[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. 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]
