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]
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]
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]
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]
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]. Licensed under CC BY 4.0 International.[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. 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]
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]
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]
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]
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]
Koustav Banerjee, Peter Paule, Cristian-Silviu Radu, Carsten Schneider.Error bounds for the asymptotic expansion of the partition function.Rocky Mt J Math to appear, pp. ?-?.2023.ISSN: 357596.arXiv:2209.07887 [math.NT].[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]
2022
K. Banerjee, M. G. Dastidar.Hook Type enumeration and parity of parts in partitions. Research Institute for Symbolic Computation, JKU, Linz. Technical report no. RISC6596, 2022.[pdf][bib]
K. Banerjee, M. G. Dastidar.Ramanujan's theta functions and parity of parts and cranks of partitions. Technical report no. 22-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022.To appear in Annals of Combinatorics. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Banerjee Koustav, Bhattacharjee Sreerupa, Dastidar Manosij Ghosh, Mahanta Pankaj Jyoti, Saikia Manjil P.Parity biases in partitions and restricted partitions.European Journal of Combinatorics103, pp. 103522-103522.2022.Elsevier,ISSN 0195-6698.[pdf][bib]
K. Banerjee, P. Paule, C. S. Radu, W. H. Zeng.New inequalities for p(n) and log p(n). Research Institute for Symbolic Computation, JKU, Linz. Technical report no. RISC6607, 2022.To appear in the Ramanujan Journal.[pdf][bib]
K. Banerjee, M. G. Dastidar.Inequalities for the partition function arising from truncated theta series. Technical report no. 22-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
K. Banerjee.An unified framework to prove multiplicative inequalities for the partition function. Research Institute for Symbolic Computation, JKU, Linz. Technical report no. RISC6614, 2022.[pdf][bib]
K. Banerjee, M. G. Dastidar.Hook type tableaux and partition identities. Notes on Number Theory and Discrete Mathematics 28(4), pp. 635-647.2022.ISSN 2367–8275.[doi][bib]
K. Banerjee.New asymptotics and inequalities related to the partition function. Research Institute for Symbolic Computation, Johannes Kepler University. PhD Thesis.2022.[pdf][bib]
K. Banerjee, N. A. Smoot.The localization method applied to k-elongated plane partitions and divisibily by 5. Technical report no. 22-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Stanislav Purgal and David Cerna and Cezary Kalisyk.Learning Higher-Order Programs without Meta-Interpretive Learning. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22, Lud De Raedt (ed.), Proceedings of International Joint Conference on Artificial Intelligence, Main Track, pp. 2726-2733.july2022.International Joint Conferences on Artificial Intelligence Organization,10.24963/ijcai.2022/378.[doi][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. Goedicke, A. von Manteuffel, C. Schneider, K. Schoenwald.The Unpolarized and Polarized Single-Mass Three-Loop Heavy Flavor Operator Matrix Elements $A_{gg, Q}$ and $Delta A_{gg, Q}$.Journal of High Energy Physics2022(12, Article 134), pp. 1-55.2022. ISSN 1029-8479.arXiv:2211.05462 [hep-ph].[doi][bib]
Diego Dominici and Francisco Marcell{\'a}n.Truncated Hermite polynomials. Technical report no. 22-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Diego Dominici.Comparative asymptotics for discrete semiclassical orthogonal polynomials. Technical report no. 22-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Diego Dominici and Juan José Moreno Balcázar.Asymptotic analysis of a family of Sobolev orthogonal polynomials related to the generalized Charlier polynomials. Technical report no. 22-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Besik Dundua, Temur Kutsia, Mikheil Rukhaia.Unranked Nominal Unification. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Proceedings of 13th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes in Computer Science13206, pp. 279-296.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
S. Falkensteiner, C. Garay-Lopez, M. Haiech, M. P. Noordman, F. Boulier, Z. Toghani.On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry.Journal of Symbolic Computation115, pp. 53-73.2022.ISSN: 0747-7171.[doi][bib]
S. Falkensteiner, Yi Zhang, N. Thieu Vo.On Formal Power Series Solutions of Algebraic Ordinary Differential Equations.Mediterranean Journal of Mathematics19(74), pp. 1-16.March2022.ISSN 1660-5446.[doi][bib]
S. Falkensteiner.Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs. In: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, Amir Hashemi (ed.), Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC), ISSAC '22, pp. 63-71.2022.Association for Computing Machinery,ISBN 9781450386883.[doi][bib]
Sean Dewar, Georg Grasegger, Jan Legerský.Flexible placements of graphs with rotational symmetry. In: 2nd IMA Conference on Mathematics of Robotics, W. Holderbaum, J.M. Selig (ed.), Springer Proceedings in Advanced Robotics21, pp. 89-97.2022.978-3-030-91351-9.[doi][bib]
Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho.Zero-Sum Cycles in Flexible Non-triangular Polyhedra. In: 2nd IMA Conference on Mathematics of Robotics, W. Holderbaum, J.M. Selig (ed.), Springer Proceedings in Advanced Robotics21, pp. 137-143.2022.978-3-030-91351-9.[doi][bib]
M. Gallet, G. Grasegger, J. Legersky, J. Schicho.Zero-sum Cycles in Flexible Polyhedra.Bull. LMS54, pp. 112-125.2022.1469-2120.[bib]
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus Kutz.Nominal Unification and Matching of Higher Order Expressions with Recursive Let.Fundamenta Informaticae185(3), pp. 247-283.2022.IOS Press,ISSN 1875-8681.[url][bib]
Kevin Buzzard and Temur Kutsia.Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics, CICM 2022 (Informal Proceedings). , 2022.[url][pdf][bib]
J. J. Mitteramskogler, F. Winkler.Symbolic solutions of algebraic ODEs - A comparison of methods.Publicationes Mathematicae Debrecen100(1-2), pp. 143-166.2022.0033-3883.[bib]
P. Nuspl, V. Pillwein.Simple $C^2$-finite Sequences: a Computable Generalization of $C$-finite Sequences. Technical report no. 22-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
P. Nuspl.$C$-finite and $C^2$-finite Sequences in SageMath. Technical report no. 22-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
P. Nuspl, V. Pillwein.A comparison of algorithms for proving positivity of linearly recurrent sequences. Technical report no. 22-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
P. Nuspl, V. Pillwein.Simple $C^2$-finite Sequences: a Computable Generalization of $C$-finite Sequences. In: ISSAC '22: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, Marc Moreno Maza, Lihong Zhi (ed.), pp. 45-53.2022.Association for Computing Machinery,ISBN: 978-1-4503-8688-3.[doi][bib]
P. Nuspl, V. Pillwein.A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. In: Computer Algebra in Scientific Computing, Boulier, Francois and England, Matthew and Sadykov, Timur M. and Vorozhtsov, Evgenii V. (ed.), Proceedings of CASC 2022, LNCS13366, pp. 268-287.2022.Springer International Publishing,ISBN: 978-3-031-14788-3.[bib]
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance Relations. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Lecture Notes in Computer Science13206, pp. 323-342.2022.Springer,ISBN 978-3-030-98478-6.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.A framework for approximate generalization in quantitative theories. Technical report no. 22-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Cleo Pau.Symbolic Techniques for Approximate Reasoning. RISC, JKU. PhD Thesis.2022.[pdf][bib]
Temur Kutsia and Cleo Pau.A Framework for Approximate Generalization in Quantitative Theories. In: Automated Reasoning, Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (ed.), Proceedings of 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Lecture Notes in Artificial Intelligence13385, pp. 578-596.2022.Springer,ISBN 978-3-031-10768-9.[doi][bib]
G.E. Andrews, P. Paule.MacMahon's Partition Analysis XIV: Partitions with n copies of n. Technical report no. 22-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2022.Research Article. Licensed under CC BY 4.0 International.[doi][pdf][bib]
S. Beuchler, T. Haubold, V. Pillwein.Recurrences for quadrilateral high-order finite elements.Math. Comput. Sci.16(4), pp. 0-0.2022. MR 4522812.[bib]
J. Schicho.And Yet it Moves - Paradoxically Moving Linkages in Kinematics.Bulletin AMS59, pp. 59-95.2022.ISSN 0273-0979.[doi][bib]
T. Duarte Guerreiro, Z. Li, J. Schicho.Classification of higher mobility closed-loop linkages.Annali di Matematica Pura et Applicata, pp. -.2022.0373-3114.[bib]
M. Gallet, J. Schicho.A new line-symmetric mobile infinity-pod.Confl. Math.14, pp. 35-47.2022.1793-7442.[bib]
B. J�ttler, N. Lubbes, J. Schicho.Projective isomorphisms between rational surfaces.J. Algebra54, pp. 112-125.2022. 0021-8693.[bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements.Journal of High Energy Physics2022(193), pp. 0-32.2022.ISSN 1029-8479 .arXiv:2111.12401 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, A. De Freitas, M. Saragnese, C. Schneider, K. Schönwald.New 2– and 3–loop heavy flavor corrections to unpolarized and polarized deep-inelastic scattering.SciPost Phys. Proc.(8), pp. 137.1-137.15.2022.ISSN 2666-4003.DIS2021, arXiv:2107.09350 [hep-ph].[doi][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The Two-Loop Massless Off-Shell QCD Operator Matrix Elements to Finite Terms.Nuclear Physics B980, pp. 1-131.2022.ISSN 0550-3213.arXiv:2202.03216 [hep-ph].[doi][bib]
J. Blümlein, C. Schneider.The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals.J. Phys. A: Math. Theor.55(44), pp. 1-37.2022. IOP Publishing Ltd,ISSN: 1751-8121.arXiv:2203.13015 [hep-th].[doi][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The 3-loop anomalous dimensions from off-shell operator matrix elements. In: Proceedings of Loops and Legs in Quantum Field Theory, PoS(LL2022) 48, P. Marquard, M. Steinhauser (ed.)416, pp. 1-12.July2022.ISSN 1824-8039. arXiv:2207.07943 [hep-ph].[doi][bib]
J. Bluemlein, M. Saragnese, C. Schneider.Computer Algebra and Hypergeometric Structures for Feynman Integrals. In: Proceedings of Loops and Legs in Quantum Field Theory, PoS(LL2022) 041, P. Marquard, M. Steinhauser (ed.)416, pp. 1-11.2022.ISSN 1824-8039. arXiv:2207.08524 [math-ph].[doi][bib]
G. Travaglini, A. Brandhuber, P. Dorey, T. McLoughlin, S. Abreu, Z. Bern, N. E. J. Bjerrum-Bohr, J. Bluemlein, R. Britto, J. J. M. Carrasco, D. Chicherin, M. Chiodaroli, P. H. Damgaard, V. Del Duca, L. J. Dixon, D. Dorigoni, C. Duhr, Y. Geyer, M. B. Green, E. Herrmann, P. Heslop, H. Johansson, G. P. Korchemsky, D. A. Kosower, L. Mason, R. Monteiro, D. O'Connell, G. Papathanasiou, L. Plante, J. Plefka, A. Puhm, A.-M. Raclariu, R. Roiban, C. Schneider, J. Trnka, P. Vanhove, C. Wen, C. D. White.The SAGEX Review on Scattering Amplitudes.J. Phys. A: Math. Theor.55(44), pp. 1-12.2022.arxiv.2203.13011 [hep-th],ISSN: 1751-8121.[doi][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The massless three-loop Wilson coefficients for the deep-inelastic structure functions $F_2, F_L, xF_3$ and $g_1$.Journal of High Energy Physics(Paper No. 156), pp. 1-83.2022.ISSN 1029-8479.arXiv:2208.14325 [hep-ph].[doi][bib]
Wolfgang Schreiner.The RISCTP Theorem Proving Interface - Tutorial and Reference Manual (Version 1.0.*). Technical report no. 22-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Wolfgang Schreiner, Ágoston Sütő.A Temporal Logic Extension of the RISCAL Model Checker. In: 2022 IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25, William Steingartner, Štefan Korečko, Anikó Szakál (ed.), pp. 267-272.2022.IEEE,ISBN 979-8-3503-1034-4.[doi][bib]
Wolfgang Schreiner.Implementation Techniques for Mathematical Model Checking. In: SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Hagenberg, Austria, September 12-15, Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie (ed.), pp. 12-15.2022.IEEE,ISBN 978-1-6654-6545-8.[doi][bib]
J. Sellers, N. Smoot.On the Divisibility of 7-Elongated Plane Partition Diamonds by Powers of 8. Technical report no. 22-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
J. Cano, S. Falkensteiner, D. Robertz, R. Sendra.Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables.Journal of Symbolic Computation114, pp. 1-17.2022.ISSN 1095-855X.[doi][bib]
N. Smoot.Divisibility Arising From Addition: The Application of Modular Functions to Infinite Partition Congruence Families. Technical report no. 22-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2022. Licensed under CC BY 4.0 International.[doi][pdf][bib]
W. Windsteiger.Learning to Reason Assisted by Automated Reasoning. In: Intelligent Computer Mathematics: 15th International Conference, K. Buzzard and T. Kutsia (ed.), Proceedings of CICM 2022, Lecture Notes in Artificial Intelligence LNAI13467, pp. 305-320.2022.Springer,ISBN 978-3-031-16681-5.[doi][pdf][bib]
