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][bib]
E. Hoxhaj, J. Schicho.How to reconstruct a planar map from its branching curve.Math. Comp.94, pp. 935-952.2025.ISSN 1088-6842.[doi][bib]
P. Paule, C. Schneider.Creative Telescoping for Hypergeometric Double Sums.J. Symb. Comput.128(102394), pp. 1-30.2025.ISSN: 0747-7171.Symbolic Computation and Combinatorics: A special issue in memory and honor of Marko Petkovšek, edited by Shaoshi Chen, Sergei Abramov, Manuel Kauers, Eugene Zima.[doi][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]
2024
Maximilian Donnermair.Proximity-based matching with arbitrary T-norms. RISC, Johannes Kepler University Linz. Bachelor Thesis.2024.[pdf][bib]
Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, and Mauricio Ayala-Rincón.A Formalization of the General Theory of Quaternions. In: Leibniz International Proceedings in Informatics (LIPIcs), Yves Bertot, Temur Kutsia, and Michael Norrish (ed.), pp. 11:1-11:18.2024.ISSN 1868-8969.[bib]
de Lima Thaynara Arielly, Borges Avelar Andréia, Galdino André Luiz, Ayala-Rincón Mauricio.Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In: Electronic Proceedings in Theoretical Computer Science, Temur Kutsia, Daniel Ventura, David Monniaux & José F. Morales (ed.)402, pp. 18–33-18–33.2024.Open Publishing Association, ISSN 2075-2180.[doi][bib]
de Lima Thaynara Arielly, Borges Avelar Andréia, Galdino André Luiz, Ayala-Rincón Mauricio.Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In: Electronic Proceedings in Theoretical Computer Science, Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales (ed.)402, pp. 18–33-18–33.2024.Open Publishing Association, ISSN 2075-2180.[doi][bib]
Bruno Buchberger.Science and Meditation: Creating the Future (English Translation of "Wissenschaft und Meditation").1st edition,2024.Amazon, 979-8332230837.[bib]
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia.Equational Anti-unification over Absorption Theories. In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt (ed.), Lecture Notes in Artificial Intelligence14740, pp. 317-337.2024.Springer,ISBN 978-3-031-63500-7.[doi][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)}$.Nuclear Physics B999(116427), pp. 1-42.2024.ISSN 0550-3213.arXiv:2311.00644 [hep-ph].[doi][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)}$.Physics Letter B854(138713), pp. 1-8.2024.ISSN 0370-2693.arXiv:2403.00513 [[hep-ph].[doi][bib]
J Bluemlein, A. De Freitas, P. Marquard, C. Schneider.Challenges for analytic calculations of the massive three-loop form factors. In: Proceedings of Loops and Legs in Quantum Field Theory, P. Marquard, M. Steinhauser (ed.)PoS(LL2024)031/24-05, pp. 1-18.2024.ISSN 1824-8039. arXiv:2408.07046 [hep-ph].[doi][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. In: Proceedings of Loops and Legs in Quantum Field Theory, P. Marquard, M. Steinhauser (ed.)PoS(LL2024)047 , pp. 1-12.2024.SSN 1824-8039.arXiv:2407.02006 [hep-ph].[doi][bib]
Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón.Compactness Theorem for Propositional Logic and Combinatorial Applications.Arch. Formal Proofs2024, pp. -.2024. ISSN 2150-914x.[url][bib]
de Lima Thaynara Arielly, Galdino André Luiz, de Oliveira Ribeiro Bruno Berto, Ayala-Rincón Mauricio Bertot, Yves and Kutsia, Temur and Norrish, Michael.A Formalization of the General Theory of Quaternions. In: 15th International Conference on Interactive Theorem Proving (ITP 2024), Bertot, Yves and Kutsia, Temur and Norrish, Michael (ed.), Leibniz International Proceedings in Informatics (LIPIcs)309, pp. 11:1-11:18.2024.Dagstuhl, Germany,ISBN 978-3-95977-337-9 ISSN 1868-8969.[url][bib]
Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón.On reconfiguring heterogeneous parallel island models.Swarm and Evolutionary Computation89, pp. 101624-101624.2024. ISSN 2210-6502.[url][bib]
Diego Dominici, Juan Carlos García-Ardila, Francisco Marcellán.Symmetrization process and truncated orthogonal polynomials. Analysis and Mathematical Physics14, pp. 0-0.112024. 1664-2368.[bib]
I. Dramnesc, T. Jebelean, S. Stratulat.Certification of Tail Recursive Bubble-Sort in Theorema and Coq. In: LPAR 2024 Complementary Volume, N. Bjørner, M. Heule, A. Voronkov (ed.), Kalpa Publications in Computing18, pp. 53-68.2024.EasyChair, ISSN 2515-1762.[url][bib]
I. Dramnesc, T. Jebelean, S. Stratulat.Certification of Sorting Algorithms Using Theorema and Coq. In: SCSS 2024, Symbolic Computation in Software Science , S. M. Watt, T. Ida (ed.), Lecture Notes in Artificial Intelligence14991, pp. 38-56.2024.Springer,ISBN 978-3-031-69041-9.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Georg Ehling, Temur Kutsia.Solving Quantitative Equations. In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt (ed.), Lecture Notes in Artificial Intelligence14740, pp. 381-400.2024.Springer,ISBN 978-3-031-63500-7.[doi][bib]
T. Jebelean.A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. In: LPAR 2024 Complementary Volume, N. Bjørner, M. Heule, A. Voronkov (ed.), Kalpa Publications in Computing18, pp. 107-116.2024.EasyChair, ISSN 2515-1762.[url][bib]
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho.Certified First-Order AC-Unification and Applications.Journal of Automated Reasoning68(4), pp. 25:1-25:48.2024.ISSN 0168-7433.[doi][pdf][bib]
Z. Chen, Z. Chen, J. Obrovsky, A. Winterhof.Maximum-order Complexity and 2-Adic Complexity.IEEE Transactions on Information Theory70(8), pp. 6060-6067.2024.ISSN: 0018-9448.[doi][bib]
George E. Andrews, Peter Paule.MacMahon's partition analysis XIV: Partitions with n copies of n.Journal of Combinatorial Theory203, pp. 0-0.2024.Elsevier,0097-3165.[doi][bib]
Peter Paule.Askey, Heron, and Computer Algebra. RISC. Technical report no. 24-09, 122024.[pdf][bib]
George E. Andrews, Peter Paule.MacMahon's partition analysis XV: Parity.Journal of Symbolic Computation127, pp. 0-0.2024.RISC,0747-7171.[doi][bib]
Jiayue Qi.A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero.Journal of Symbolic Computation122(102253), pp. -.2024.ISSN: 0747-7171.[doi][bib]
N. Lubbes, J. Schicho.Calibrating figures.Comp. Aided Geom. Design112, pp. -.2024.ISSN 1879-2332.[doi][bib]
E.D. Ocansey, C. Schneider.Representation of hypergeometric products of higher nesting depths in difference rings.J. Symb. Comput.120, pp. 1-50.2024.ISSN: 0747-7171.arXiv:2011.08775 [cs.SC].[doi][bib]
Koustav Banerjee, Peter Paule, Cristian-Silviu Radu, Carsten Schneider.Error bounds for the asymptotic expansion of the partition function.Rocky Mt J Math 54(6), pp. 1551-1592.2024.ISSN: 357596.arXiv:2209.07887 [math.NT].[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Wolfgang Schreiner, William Steingartner.Semantics-Based Rapid Prototyping of a Machine Controller Language. In: 2024 IEEE 17th International Scientific Conference on Informatics, Poprad, Slovakia, November 13-15, Valerie Novitzká, Anikó Szakál (ed.), pp. 348-353.2024.IEEE,ISBN 979-8-3503-8767-4.[doi][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]
Windsteiger Wolfgang.Gray-Box Proving in Theorema . In: 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024), Fairouz Kamareddine, Mircea Marin (ed.), pp. 82-89.2024.IEEE Computer Society,Los Alamitos, CA, USA,ISBN: 979-8-3315-3283-3.[doi][bib]
2023
Koustav Banerjee.Positivity of the second shifted difference of partitions and overpartitions: a combinatorial approach.Enumerative Combinatorics and Applications3, pp. 1-4.2023.ISSN 2710-2335.[doi][bib]
K. Banerjee.Inequalities for the modified Bessel function of first kind of non-negative order.Journal of Mathematical Analysis and Applications524, pp. 1-28.2023.Elsevier,ISSN 1096-0813.[doi][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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Bruno Buchberger.Automated Programming, Symbolic computation, Machine Learning: My Personal View.Ann. Math. Artif. Intell.91(5), pp. 569-589.2023.1012-2443.[bib]
Bruno Buchberger.International Young Talents Hotspot Austria. In: Ideen, die gehen!, W. Schüssel, G. Kneifel (ed.), pp. 37-39.2023.Edition Kleine Zeitung,20234.[bib]
Bruno Buchberger.Wissenschaft und Meditation: Auf dem Weg zur bewussten Naturgesellschaft.1st edition,December2023.Amazon,979-8868299117.[bib]
David Cerna, Temur Kutsia.Anti-unification and Generalization: a Survey. In: Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artifical Intelligence, Edith Elkind (ed.), pp. 6563-6573.2023.ijcai.org,ISBN 978-1-956792-03-4 .[doi][bib]
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia.Equational Anti-Unification over Absorption Theories. arXiv:2310.11136. Technical report, 2023.[doi][bib]
J. Bluemlein, A. De Freitas, P. Marquard, N. Rana, C. Schneider.Analytic results on the massive three-loop form factors: quarkonic contributions.Physical Review D108(094003), pp. 1-73.2023.ISSN 2470-0029.arXiv:2307.02983 [hep-ph].[doi][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. In: Proc. of the 16th International Symposium on Radiative Corrections: Applications of Quantum Field Theory to Phenomenology , Giulio Falcioni (ed.), PoSRADCOR2023/046, pp. 1-7.June2023.ISSN 1824-8039.arXiv:2306.16550 [hep-ph].[doi][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. Licensed under CC BY 4.0 International.[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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Georg Ehling, Temur Kutsia.Matching in Quantitative Equational Theories. In: UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar and Christophe Ringeissen (ed.), pp. -.2023.[url][bib]
E. Hoxhaj, J.-M. Menjanahary, J. Schicho.Using Algebraic Geometry to Reconstruct a Darboux Cyclide from a Calibrated Camera Picture.J. AAECC, pp. -.2023.1432-0622.to appear.[doi][bib]
A. Jimenez-Pastor, P. Nuspl, V. Pillwein.An extension of holonomic sequences: $C^2$-finite sequences.Journal of Symbolic Computation116, pp. 400-424.2023.ISSN: 0747-7171.[bib]
M. Kauers, P. Nuspl, V. Pillwein.Order bounds for $C^2$-finite sequences. In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, A.Dickenstein, E. Tsigaridas and G. Jeronimo (ed.), ISSAC '23, Tromso{}, Norway, pp. 389-397.July2023.Association for Computing Machinery,New York, NY, USA,9798400700392}.[doi][bib]
Theresa Köfler.Symbolic local Fourier Analysis to determine the inf-sup stability of the Stokes equations. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz. Master Thesis.2023.[url][bib]
C. Koutschan, B. Moser, A. Ponomarchuk, J. Schicho.Representing piecewise linear functions by functions with small arity.J. AAECC, pp. -.2023.1432-0622.[bib]
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, and Daniele Nantes-Sobrinho.Nominal AC-Matching. In: Proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, Catherine Dubois and Manfred Kerber (ed.), Lecture Notes in Aritificial Intelligence14101, pp. 53-68.2023.Springer,ISBN 978-3-031-42752-7.[doi][bib]
S. Falkensteiner, J.J. Mitteramskogler, R. Sendra, F. Winkler.The algebro-geometric method: Solving algebraic differential equations by parametrizations.Bulletin of the American Mathematical Society, pp. 1-41.2023.ISSN 0273-0979.[bib]
J. J. Mitteramskogler, F. Winkler.General solutions of first-order algebraic ODEs in simple constant extensions.Journal of Systems Science and Complexity (JSSC), pp. 0-0.2023.1009-6124.[bib]
P. Nuspl.Algorithms for linear recurrence sequences. Johannes Kepler University Linz. PhD Thesis.2023.[pdf][bib]
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia.Enumerating All Maximal Clique-Partitions of an Undirected Graph. In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (ed.), pp. 65-79.2023.[doi][bib]
Peter Paule.Ramanujan and Computer Algebra. In: Srinivasa Ramanujan: His Life, Legacy, and Mathematical Influence, K. Alladi, G.E. Andrews, B. Berndt, F. Garvan, K. Ono, P. Paule, S. Ole Warnaar, Ae Ja Yee (ed.), pp. -.2023.Springer,ISBN x.[pdf][bib]
Toufik Mansour and Peter Paule.Interview with Peter Paule.Enumerative Combinatorics and Applications ECA 3:1(#S3I1), pp. -.2023.ISSN 2710-2335.[doi][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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
G.E. Andrews, P. Paule.MacMahon's Partition Analysis XIV: Partitions with n copies of n.To appear in: Journal of Combinatorial Theory, Series A(22-14), pp. -.2023.???.[doi][bib]
S. Beuchler, T. Haubold, V. Pillwein.Recursion Formulas for Integrated Products of Jacobi Polynomials.Constructive Approximation, pp. 0-0.2023.1432-0940.https://arxiv.org/abs/2105.08989.[doi][bib]
Jiayue Qi, Josef Schicho.Five Equivalent Representations of a Phylogenetic Tree.Maple Transactions3(3), pp. -.2023.(ISSN) 2564-3029.[doi][bib]
Jiayue Qi.On the Chow ring of (the) moduli space of stable marked curves of genus zero. Research Institute for Symbolic Computation, Johannes Kepler University Linz. PhD Thesis.2023.[bib]
L. Buse, P. Gonz'alez-Maz'on, J. Schicho.Trilinear birational maps in dimension three.M. Comp.92, pp. 1837-1866.2023.0025-5718.[bib]
B. J�ttler, J. Schicho, Z. Sir.Apollonian-de Casteljau type algorithms for complex rational Bezier curves.CAGD107, pp. -.2023.0167-8396.[bib]
J. Blümlein, C. Schneider, M. Saragnese.Hypergeometric Structures in Feynman Integrals.Annals of Mathematics and Artificial Intelligence 91(5), pp. 591-649.2023.ISSN 1573-7470.arXiv:2111.15501 [math-ph].[doi][bib]
C. Schneider.Refined telescoping algorithms in $RPiSigma$-extensions to reduce the degrees of the denominators. In: ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, Gabriela Jeronimo (ed.), pp. 498-507.July2023.ACM,ISBN 9798400700392.arXiv:2302.03563 [cs.SC].[doi][bib]
Johannes Bluemlein, Nikolai Fadeev, Carsten Schneider.Computing Mellin representations and asymptotics of nested binomial sums in a symbolic way: the RICA package.ACM Communications in Computer Algebra57(2), pp. 31-34.June2023.ISSN:1932-2240.arXiv:2308.06042 [hep-ph].[doi][bib]
Wolfgang Schreiner.Concrete Abstractions.Texts & Monographs in Symbolic Computation1st edition,2023.Springer,Cham, Switzerland,Hardcover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1.[doi][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. Licensed under CC BY 4.0 International.[doi][pdf][bib]
N. Smoot.A Congruence Family For 2-Elongated Plane Partitions: An Application of the Localization Method.Journal of Number Theory242, pp. 112-153.January2023.ISSN 1096-1658.[doi][bib]
Joachim Borya.Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Bachelor Thesis.May2023.Also available as RISC Report 23-06.[doi][pdf][bib]
Ágoston Sütő.Model Checking Concurrent Systems Under Fairness Constraints in RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Master Thesis.May2023.Also available as RISC Report 23-07.Master's thesis.[doi][pdf][bib]
