Maximilian Donnermair.Proximity-based matching with arbitrary T-norms. RISC, Johannes Kepler University Linz. Bachelor Thesis.2024.[pdf][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]
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]
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]
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]
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]
P. Paule, C. Schneider.Creative Telescoping for Hypergeometric Double Sums.J. Symb. Comput.to appear, pp. -.January2024.ISSN: 0747-7171.arXiv:2401.16314 [cs.SC].[doi][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á (ed.), pp. -.2024.IEEE,ISBN XXXX.[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]
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]
C. Koutschan, A. Ponomarchuk, J. Schicho .Approximation of convex polygons by polygons. In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), C. Schneider et al. (ed.), pp. 91-98.2022.IEEE,978-1-6654-0650-5.[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]
Jiayue Qi.An identity on multinomial coefficients.ACM Communications in Computer Algebra56(2), pp. 68-71.2022.issn: 1932-2240.[doi][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]
2021
J. Ablinger.Extensions of the AZ-algorithm and the Package MultiIntegrate. In: Anti-Differentiation and the Calculation of Feynman Amplitudes, J. Blümlein, C. Schneider (ed.), Texts & Monographs in Symbolic Computation (A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria), pp. 35-61.2021.Springer,ISBN 978-3-030-80218-9.arXiv:2101.11385 [cs.SC].[doi][bib]
J. Ablinger.Extensions of the AZ-algorithm and the Package MultiIntegrate. In: Anti-Differentiation and the Calculation of Feynman Amplitudes, J. Blümlein, C. Schneider (ed.), Texts & Monographs in Symbolic Computation (A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria), pp. 35-61.2021.Springer,ISBN 978-3-030-80218-9.arXiv:2101.11385 [cs.SC].[doi][bib]
Bettina Salomon.Die Newton-Andrews-Zeilberger Methode zur Berechnung von harmonischen Summen Identitäten. -. Bachelor Thesis.2021.[bib]
David M. Cerna.A Special Case of Schematic Syntactic Unification. CAS ICS / RISC. Technical report, 2021.[pdf][bib]
Dominici Diego.Orthogonality of the Dickson polynomials of the $(k+1)$-th kind.Rev. Un. Mat. Argentina62(1), pp. 1-30.2021. ISSN 0041-6932.[doi][bib]
Dominici Diego, Marcell'an Francisco.Discrete semiclassical orthogonal polynomials of class 2. In: Orthogonal polynomials: current trends and applications, Marcell'{a}n, Francisco and Huertas, Edmundo J. (ed.), SEMA SIMAI Springer Ser.22, pp. 103-169.2021.Springer, Cham,978-3-030-56190-1; 978-3-030-56189-5.[doi][bib]
Diego Dominici.Recurrence relations for the moments of discrete semiclassical orthogonal polynomials.. Technical report no. 21-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
I. Dramnesc, T. Jebelean.AlCons: Deductive Synthesis of Sorting Algorithms in Theorema. In: Theoretical Aspects of Computing - ICTAC 2021, A. Cerone, P. Csaba Ölveczky (ed.), Proceedings of 18th International Colloquium on Theoretical Aspects of Computing - ICTAC, Nur-Sultan, Kazakhstan, LNCS12819, pp. 314-333.September 2021.Springer,978-3-030-85315-0.[pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin.Variadic equational matching in associative and commutative theories.Journal of Symbolic Computation106, pp. 78-109.2021.Elsevier,ISSN 0747-7171.[doi][pdf][bib]
F. Boulier, S. Falkensteiner, M.P. Noordman, O.L. Sanchez.On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. In: International Workshop on Computer Algebra in Scientific Computing, F. Boulier, M. England, T. Sadykov, E. Vorozhtsov (ed.), Proceedings of Computer Algebra in Scientific Computing, pp. 62-77.2021.Springer,ISSN 0302-9743.[doi][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.Combinatorics of Bricard's octahedra.Comptes Rendus. Mathématique359(1), pp. 7-38.2021.Académie des sciences, Paris,ISSN 1631-073X.[doi][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.On the Existence of Paradoxical Motions of Generically Rigid Graphs on the Sphere.SIAM Journal on Discrete Mathematics35(1), pp. 325-361.2021.ISSN 0895-4801.[doi][bib]
Georg Grasegger, Jan Legerský.Bracing frameworks consisting of parallelograms.The Art of Discrete and Applied MathematicsAccepted Manuscripts, pp. --.2021.2590-9770.[doi][bib]
Ralf Hemmecke, Peter Paule, Silviu Radu.Construction of modular function bases for $Gamma_0(121)$ related to $p(11n+6)$.Integral Transforms and Special Functions32(5-8), pp. 512-527.2021.Taylor & Francis,1065-2469.[doi][bib]
Tudor Jebelean.A Heuristic Prover for Elementary Analysis in Theorema. Technical report no. 21-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
T. Jebelean.A Heuristic Prover for Elementary Analysis in Theorema. In: Intelligent Computer Mathematics, 14th International Conference, CICM 2021, Timisoara, Romania, F. Kamaredine, C. Sacerdoti Coen (ed.), Proceedings of Intelligent Computer Mathematics, 14th International Conference, CICM 2021, LNAI12833, pp. 130-134.July2021.Springer,978-3-030-81096-2.[pdf][bib]
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein.On C2-Finite Sequences. In: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, Frédéric Chyzak, George Labahn (ed.), ISSAC '21, pp. 217-224.2021.Association for Computing Machinery,New York, NY, USA,ISBN 9781450383820.[doi][bib]
Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein.An extension of holonomic sequences: C^2-finite sequences. Technical report no. 21-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Jiménez-Pastor Antonio, Pillwein Veronika.Differentially definable functions: a survey. In: Proceedings in Applied Mathematics and Mechanics (PAMM), Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) (ed.), Proceedings of Special Issue: 91st Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM)21/1, pp. e202100178-e2021001.2021.[doi][bib]
Temur Kutsia (editor).9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers. Technical report no. 21-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
E. Bartzos, I.Z. Emiris, J. Legerský, E. Tsigaridas.On the maximal number of real embeddings of minimally rigid graphs in R2, R3 and S2.Journal of Symbolic Computation102, pp. 189-208.2021.ISSN 0747-7171.[doi][bib]
Alexander Maletzky.A generic and executable formalization of signature-based Gröbner basis algorithms.J. Symb. Comput.106, pp. 23-47.2021.Elsevier,ISSN 0747-7171.arXiv:2012.02239 [cs.SC], https://doi.org/10.1016/j.jsc.2020.12.001.[url][bib]
Johann J. Mitteramskogler, Franz Winkler.General solutions of first-order algebraic ODEs in simple constant extensions. Technical report no. 21-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Proximity-Based Unification and Matching for Full Fuzzy Signatures. Technical report no. 21-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures. Technical report no. 21-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Cleo Pau, Temur Kutsia.Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of the 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, , pp. 1-6.2021.IEEE,isbn 978-1-6654-4407-1.[doi][pdf][bib]
Peter Paule (ed.), Stephen Melczer.An Invitation to Analytic Combinatorics.Texts and Monographs in Symbolic Computation1st edition,2021.Springer,978-3-030-67080-1.[bib]
Peter Paule, Cristian-Silviu Radu.Holonomic relations for modular functions and forms: First guess, then prove.International Journal of Number Theory17(3), pp. 713-759.2021.World Scientific,1793-0421.[doi][bib]
Peter Paule.Contiguous Relations and Creative Telescoping. In: Anti-Differentiation and the Calculation of Feynman Amplitudes, J. Bluemlein and C. Schneider (ed.), Texts and Monographs in Symbolic Computation, pp. 335-394.2021.Springer,ISBN 978-3-030-80218-9.[doi][pdf][bib]
George E. Andrews and Peter Paule .MacMahon's partition analysis XIII: Schmidt type partitions and modular forms.Journal of Number Theory, pp. 95-119.2021.Elsevier,ISSN 0022-314X.[doi][pdf][bib]
Peter Paule, Cristian-Silviu Radu.An algorithm to prove holonomic differential equations for modular forms. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019., Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics373, pp. 367-420.2021.Springer, Cham,978-3-030-84303-8.[doi][bib]
Haubold Tim, Pillwein Veronika, Beuchler Sven.Recursion relations for hp-FEM Element Matrices on quadrilaterals. In: Proceedings in Applied Mathematics and Mechanics (PAMM), Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) (ed.), Proceedings of Special Issue: 91st Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM)21/1, pp. e202100200-e2021002.2021.[doi][bib]
Sven Beuchler, Tim Haubold, Veronika Pillwein.Recursion formulas for integrated products of Jacobi polynomials. arXiv. Technical report, 2021.[url][bib]
Jiayue Qi.How to avoid collisions in 3D-realizations for moving graphs.Mechanism and Machine Theory 162(104337), pp. -.2021.ISSN 0094-114X.[doi][bib]
Jiayue Qi.A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves.ACM Communications in Computer Algebra54(3), pp. 91-94.2021.issn: 1932-2240.[doi][bib]
Jiayue Qi.A tree-based algorithm on monomials in the Chow group of zero cycles in the moduli space of stable pointed curves of genus zero. Doctoral Program “Computational Mathematics”. Technical report, January2021.[url][bib]
Mark van Hoeij and Cristian-Silviu Radu .Computing an order complete basis for M∞(N) and applications. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019, Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics373, pp. 355-366.2021.Springer, Cham,978-3-030-84303-8.[doi][bib]
Christian Krattenthaler, Mircea Merca, Cristian-Silviu Radu.Infinite product formulae for generating functions for sequences of squares. In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019, Bostan A., Raschel K. (ed.), Springer Proceedings in Mathematics & Statistics373, pp. 193-236.2021.Springer, Cham,978-3-030-84303-8.[doi][bib]
Wolfgang Schreiner, Franz-Xaver Reichl.Semantic Evaluation versus SMT Solving in the RISCAL Model Checker. Technical report no. 21-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
Wolfgang Schreiner, Franz-Xaver Reichl.First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Temur Kutsia (ed.), Electronic Proceedings in Theoretical Computer Science342, pp. 99-113.September2021.ISSN 2075-2180.[doi][bib]
C. Schneider.The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra.Mathematics in Computer Science15(4), pp. 577-588.2021.ISSN 1661-8289.arXiv:2003.01921 [math.CO].[doi][bib]
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider.Three loop heavy quark form factors and their asymptotic behavior. In: Proc.of 23rd DAE-BRNS High Energy Physics Symposium 2018, Behera, P.K., Bhatnagar, V., Shukla, P., Sinha, R. (ed.), Springer Proceedings in Physics261, pp. 91-100.2021.Springer,ISBN 978-981-33-4407-5.arXiv:1906.05829 [hep-ph].[doi][pdf][bib]
Carsten Schneider, Wadim Zudilin.A case study for ζ(4). In: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019, Alin Bostan and Kilian Raschel (ed.), Proceedings in Mathematics & Statistics373, pp. 421-435.2021.Springer,ISBN 978-3-030-84304-5.arXiv:2004.08158 [math.NT].[doi][pdf][bib]
Sergei A. Abramov, Manuel Bronstein, Marko Petkovšek, Carsten Schneider.On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in ΠΣ∗-field extensions.J. Symb. Comput.107, pp. 23-66.2021.ISSN 0747-7171.arXiv:2005.04944 [cs.SC].[doi][pdf][bib]
A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, K. Schönwald, and C. Schneider.The Polarized Transition Matrix Element $A_{g, q}(N)$ of the Variable Flavor Number Scheme at $O(alpha_s^3)$.Nuclear Physics B964, pp. 115331-115356.2021.ISSN 0550-3213.arXiv:2101.05733 [hep-ph].[doi][bib]
C. Schneider.Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation. In: Anti-Differentiation and the Calculation of Feynman Amplitudes, J. Blümlein and C. Schneider (ed.), Texts and Monographs in Symbolic Computuation, pp. 423-485.2021.Springer,ISBN 978-3-030-80218-9.arXiv:2102.01471 [cs.SC], RISC-Linz Report Series No. 21-03.[doi][pdf][bib]
J. Ablinger, J. Blümlein, C. Schneider.Iterated integrals over letters induced by quadratic forms.Physical Review D 103(9), pp. 096025-096035.2021.ISSN 2470-0029.arXiv:2103.08330 [hep-th].[doi][bib]
J. Ablinger, C. Schneider.Solving linear difference equations with coefficients in rings with idempotent representations. In: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation (Proc. ISSAC 21), Marc Mezzarobba (ed.), pp. 27-34.2021.ISBN 978-1-4503-8382-0/21/06.arXiv:2102.03307 [cs.SC].[doi][pdf][bib]
J. Blümlein, A. De Freitas, M. Saragnese, K. Schönwald, C. Schneider.The Logarithmic Contributions to the Polarized $O(alpha_s^3)$ Asymptotic Massive Wilson Coefficients and Operator Matrix Elements in Deeply Inelastic Scattering.Physical Review D104(3), pp. 1-73.2021.ISSN 2470-0029.arXiv:2105.09572 [hep-ph].[doi][bib]
J. Blümlein, P. Marquard, C. Schneider, K. Schönwald.The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements.Nucl. Phys. B971, pp. 1-44.2021.ISSN 0550-3213.arXiv:2107.06267 [hep-ph].[doi][bib]
Wolfgang Schreiner.Thinking Programs.Texts & Monographs in Symbolic Computation1st edition,2021.Springer,Cham, Switzerland,Hardcover ISBN 978-3-030-80506-7, Softcover ISBN 978-3-030-80509-8, eBook ISBN 978-3-030-80507-4.[doi][bib]
K. Alladi, B.C. Berndt, P. Paule, J.A. Sellers, A.J. Yee.George E. Andrews 80 Years of Combinatory Analysis.Trends in Mathematics1st edition,2021.Birkhaeuser,Cham,ISBN 978-3-030-57050-7.[doi][bib]
J. Cano, S. Falkensteiner, R. Sendra.Existence and convergence of Puiseux series solutions for first order autonomous differential equations.Journal of Symbolic Computation108, pp. 137-151.2021.ISSN 0747-7171.[doi][bib]
F. Boulier, J. Cano, S. Falkensteiner, R. Sendra.Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. In: Communications in Computer and Information Science, Rob Corless, Jürgen Gerhard and Ilias Kotsireas (ed.), Proceedings of Maple Conference 20201414, pp. 89-103.2021.Springer, Cham,ISSN 1865-0929.[url][bib]
Nicolas Allen Smoot, Cristian-Silviu Radu.A method of verifying partition congruences by symbolic computation.Journal of Symbolic Computation104, pp. 105-133.2021.0747-7171.[doi][pdf][bib]
N. Smoot.A Congruence Family For 2-Elongated Plane Partitions: An Application of the Localization Method. Research Institute for Symbolic Computation, JKU Linz. Technical report, December2021.[pdf][bib]
Lucas Payr.Refinement Types for Elm. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Master Thesis.April2021.Also available as RISC report no. 21-10.Master Thesis.[pdf][bib]
Sebastian Schmalzer.Verfahren zum Lösen des Inventory Routing Problems. RISC Institute, Johannes Kepler University Linz. Bachelor Thesis.November2021.[pdf][bib]
J. Ablinger, A. Uncu.qFunctions - A Mathematica package for q-series and partition theory applications.Journal of Symbolic Computation107, pp. 145-166.2021.ISSN 0747-7171.arXiv:1910.12410.[doi][bib]
W. Windsteiger.Automated Theorem Proving in the Classroom. In: Proceedings Automated Deduction in Geometry (ADG 2021), Predrag Janicic (ed.), Proceedings of Automated Deduction in Geometry (ADG 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS)352, pp. 54-63.2021.ISSN 2075-2180.Extended abstract.[doi][pdf][bib]
W. Windsteiger.Automated Theorem Proving in the Classroom. Technical report no. 21-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.Extended version of keynote talk at ADG 2021 conference. Licensed under CC BY 4.0 International.[doi][pdf][bib]
F. Winkler.My Life in Computer Algebra. Technical report no. 21-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2021. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2020
J. Ablinger.Proving Two Conjectural Series for $\zeta(7)$ and Discovering More Series for $\zeta(7)$. In: Mathematical Aspects of Computer and Information Science, D. Slamanig, E. Tsigaridas, Z. Zafeirakopoulos (ed.), pp. 42-47.2020.Springer International Publishing,978-3-030-43120-4.[url][bib]
J. Ablinger, J. Blümlein, A. De Freitas, K. Schönwald.Subleading logarithmic QED initial state corrections to $e^+e^−\to γ^⁎/Z^{0⁎}$ to $O(\alpha^6L^5)$.Nuclear Physics B955, pp. 115045-115045.2020. ISSN 0550-3213.[url][bib]
Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez.The Sage Package Comb_walks for Walks in the Quarter Plane.ACM Commun. Comput. Algebra54(2), pp. 30-38.sep2020.Association for Computing Machinery,New York, NY, USA,1932-2240.[doi][bib]
Jose Capco, Claus Scheiderer. Two remarks on sums of squares with rational coefficients.Banach Center Publications121, pp. 25-36.2020.0137-6934.[doi][bib]
J. Capco, M. Safey el Din, J. Schicho.Robots, computer algebra and 8 connected components. In: Proceedings of ISSAC 2020, I. Emiris, L. Zhi (ed.), pp. 62-69.2020.978-1-4503-7100-1.[url][bib]
David M. Cerna, Temur Kutsia.Unital Anti-Unification: Type and Algorithms. In: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Zena M. Ariola (ed.), Leibniz International Proceedings in Informatics (LIPIcs)167, pp. 26:1-26:20.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,ISBN 978-3-95977-155-9, ISSN 1868-8969.[url][bib]
David Cerna, Temur Kutsia.Idempotent Anti-unification.ACM Transactions on Computational Logic (TOCL)21(2), pp. 10:1-10:32.2020.ACM Press,ISSN 1529-3785.[doi][pdf][bib]
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere.Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. In: ITICSE 2020, ACM (ed.), Proceedings of ITICSE, pp. 61-67.2020.9781450368742.[doi][bib]
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere.Computational Logic in the First Semester of Computer Science: An Experience Report. In: Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU, Springer (ed.), Proceedings of CSEDU, pp. 374-381.2020.978-989-758-417-6.[doi][bib]
David M. Cerna.Anti-unification and the Theory of Semirings.Theor. Comput. Sci.848, pp. 133-139.2020.RISC / CAS ICS,0304-3975.[doi][bib]
David Cerna and Alexander Leitsch and Anela Lolic.Schematic Refutations of Formula Schemata.Journal of Automated Reasoning, pp. -.2020.1573-0670.[doi][bib]
David M. Cerna, Temur Kutsia.Higher-order pattern generalization modulo equational theories.Mathematical Structures in Computer Science30(6), pp. 627-663.2020.ISSN 0960-1295.[url][bib]
David M. Cerna and Rafael P. D. Kiesel and Alexandra Dzhiganskaya.A Mobile Application for Self-Guided Study of Formal Reasoning. In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019, Pedro Quaresma and Walther Neuper and Jo{ {a}}o Marcos (ed.), EPTCS313, pp. 35-53.2020.2075-2180.[doi][bib]
David M. Cerna , Temur Kutsia.Unital Anti-Unification: Type and Algorithms. In: 5th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual Conference, Zena M. Ariola (ed.), Proceedings of FSCD, LIPICS167/20-02, pp. 1-20.2020.1868-8969.[doi][bib]
Dominici Diego, Pillwein Veronika.A sequence of polynomials generated by a Kapteyn series of the second kind. In: Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra--in honour of Peter Paule on his 60th birthday, Pillwein, Veronika and Schneider, Carsten (ed.), Texts Monogr. Symbol. Comput., pp. 159-179.2020.Springer, Cham,978-3-030-44558-4; 978-3-030-44559-1.[doi][bib]
Dominici Diego.Recurrence coefficients of Toda-type orthogonal polynomials I. Asymptotic analysis.Bull. Math. Sci.10(2), pp. 2050003, 32-2050003.2020. ISSN 1664-3607.[doi][bib]
Dominici Diego.Hankel determinants, Hahn polynomials, and a formula of Krattenthaler.S'em. Lothar. Combin.81, pp. Art. B81i, 14-Art. .2020.1286-4889.[bib]
Dominici Diego.Power series expansion of a Hankel determinant.Linear Algebra Appl.601, pp. 17-54.2020. ISSN 0024-3795.[doi][bib]
Dominici Diego.Matrix factorizations and orthogonal polynomials.Random Matrices Theory Appl.9(1), pp. 2040003, 33-2040003.2020. ISSN 2010-3263.[doi][bib]
Dominici Diego.Mehler-Heine type formulas for the Krawtchouk polynomials.J. Math. Anal. Appl.486(1), pp. 123877, 25-123877, .2020. ISSN 0022-247X.[doi][bib]
Isabela Dramnesc, Tudor Jebelean.Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema. Technical report no. 20-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2020.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Synthesis of Delete on Lists and Binary Trees Using Multisets in Theorema. Technical report no. 20-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2020.[pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau.Constraint Solving over Multiple Similarity Relations. In: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Zena M. Ariola (ed.), Leibniz International Proceedings in Informatics (LIPIcs)167, pp. 30:1-30:19.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,ISBN 978-3-95977-155-9, ISSN 1868-8969.[doi][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Mikheil Rukhaia.Specification and Analysis of ABAC Policies in a Rule-Based Framework. In: AMINSE 2019: Applications of Mathematics and Informatics in Natural Sciences and Engineering, George Jaiani, David Natroshvili (ed.), Springer Proceedings in Mathematics & Statistics334, pp. 101-116.2020.Springer,ISBN 978-3-030-56356-1, 978-3-030-56355-4.[doi][pdf][bib]
Mircea Marin, Besik Dundua, Temur Kutsia.A Rule-Based System for Computation and Deduction in Mathematica. In: WRLA 2020: Rewriting Logic and Its Applications, Santiago Escobar, Narciso Martí-Oliet (ed.), Lecture Notes in Computer Science12328, pp. 57-74.2020.Springer,ISBN 978-3-030-63595-4, 978-3-030-63594-7.[doi][pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin, Cleo Pau.Extending the 𝜌Log Calculus with Proximity Relations. In: AMINSE 2019: Applications of Mathematics and Informatics in Natural Sciences and Engineering, George Jaiani, David Natroshvili (ed.), Springer Proceedings in Mathematics & Statistics334, pp. 83-100.2020.Springer,ISBN 978-3-030-56356-1, 978-3-030-56355-4.[doi][pdf][bib]
Besik Dundua, Temur Kutsia, Mikheil Rukhaia.Unranked Nominal Unification. Technical report no. 20-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
N. Fadeev.First-order factorizable systems of differential equations in one variable. Technical report no. 20-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
S. Falkensteiner.Power Series Solutions of AODEs - Existence, Uniqueness, Convergence and Computation. RISC Hagenberg, Johannes Kepler University Linz. PhD Thesis.June2020.Also available as RISC report no. 20-13.[pdf][bib]
S. Falkensteiner, C. Garay-Lopez, M. Haiech, M. P. Noordman, Z. Toghani, F. Boulier.The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. In: ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Angelos Mantzaflaris (ed.), Proceedings of 45th International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 178-185.072020.Association for Computing Machinery,ISBN 9781450371001.[bib]
Ankush Goswami, Venkata Raghu Tej Pantangi.On sums of coefficients of polynomials related to the Borwein conjectures. Technical report no. 20-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).Ramanujan J. (to appear),May2020.[pdf][bib]
Ankush Goswami, Venkata Raghu Tej Pantangi.Some formulae for coefficients in restricted $q$-products. Technical report no. 20-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2020.[pdf][bib]
Ankush Goswami.Congruences for generalized Fishburn numbers at roots of unity. Technical report no. 20-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Sean Dewar, Georg Grasegger, Jan Legerský.Computing Animations of Linkages with Rotational Symmetry (Media Exposition). In: 36th International Symposium on Computational Geometry (SoCG 2020), Sergio Cabello and Danny Z. Chen (ed.), Leibniz International Proceedings in Informatics (LIPIcs)164, pp. 77:1-77:4.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,Dagstuhl, Germany,ISBN 978-3-95977-143-6.[doi][bib]
G. Grasegger, J. Legerský, J. Schicho.Graphs with Flexible Labelings allowing Injective Realizations.Discrete Mathematics343(6), pp. Art. 111713-.2020.ISSN 0012-365X.[doi][bib]
G. Grasegger, J. Legerský.FlexRiLoG - A SageMath Package for Motions of Graphs. In: Mathematical Software – ICMS 2020, Bigatti A., Carette J., Davenport J., Joswig M., de Wolff T. (ed.), Proceedings of ICMS 2020, Lecture Notes in Computer Science12097, pp. 442-450.2020.Springer, Cham,ISBN 978-3-030-52199-8.[doi][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.Zero-sum cycles in flexible polyhedra. arXiv. Technical report, 2020.[url][bib]
G. Grasegger, J. Legerský, J. Schicho.On the Classification of Motions of Paradoxically Movable Graphs.Journal of Computational Geometry11(1), pp. 548-575.2020.ISSN: 1920-180X.[doi][bib]
M. Gallet, G. Grasegger, J. Schicho.Counting realizations of {L}aman graphs on the sphere.Electronic Journal of Combinatorics27(2), pp. 1-18.2020.1077-8926 .[url][bib]
A. Jimenez-Pastor, V. Pillwein, M.F. Singer.Some structural results on D^n finite functions.Advances in Applied Mathematics117, pp. 0-0.June2020.Elsevier,0196-8858.[doi][pdf][bib]
Alin Bostan, Antonio Jiménez-Pastor.On the exponential generating function of labelled trees.Comptes Rendus. Mathématique358(9-10), pp. 1005-1009.2020.Académie des sciences, Paris,1631-0721.[doi][bib]
Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez.The Sage Package Comb_walks for Walks in the Quarter Plane.ACM Commun. Comput. Algebra54(2), pp. 30-38.sep2020.Association for Computing Machinery,New York, NY, USA,1932-2240.[doi][bib]
Temur Kutsia and Andrew M. Marshall (Editors).Proceedings of The 34th International Workshop on Unification, UNIF 2020. Technical report no. 20-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Temur Kutsia.Unification modulo alpha-equivalence in a mathematical assistant system. Technical report no. 20-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Ilias Kotsireas, Temur Kutsia, Dimitris Simos. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.Annals of Mathematics and Artificial Intelligence88(1), pp. 213-236.2020.ISSN 1573-7470.[doi][pdf][bib]
Li, Z. and Nawratil, G. and Rist, F. and Hensel, M..Invertible Paradoxic Loop Structures for Transformable Design.Computer Graphics Forum, pp. 261-275.2020.1467-8659.[doi][bib]
Johann J. Mitteramskogler, Franz Winkler.A comparison of methods for computing rational general solutions of algebraic ODEs. Technical report no. 20-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Franz Winkler, Johann Mitteramskogler.Symbolic solutions of algebraic ODEs - A comparison of methods.Publications Mathemticae Debrecen, pp. 0-0.2020.0.[bib]
Temur Kutsia, Cleo Pau.Proximity-based Unification with Arity Mismatch. In: Proceedings of the 34th International Workshop on Unification, Temur Kutsia, Andrew M. Marshall (ed.), pp. 9:1-9:6.2020.[bib]
Peter Paule, Cristian-Silviu Radu.An algorithm to prove holonomic differential equations for modular forms. Technical report no. 20-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2020.A final version appeared in: Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2029, eds.: A. Bostan and K. Raschel, Springer, 2021. Licensed under CC BY 4.0 International.[pdf][bib]
Peter Paule (ed.), Tetsuo Ida.An Introduction to Computational Origami.Texts and Monographs of Symbolic Computation1st edition,2020.Springer,978-3-319-59189-6.[bib]
D. Dominici, V. Pillwein.A sequence of polynomials generated by a Kapteyn series of the second kind. In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein and C. Schneider (ed.), Texts and Monographs in Symbolic Computuation, in press, pp. ?-?.2020.Springer,arXiv:1607.05314 [math.CO].[url][pdf][bib]
Jiayue Qi, Josef Schicho.Five Equivalent Ways to Describe a Phylogenetic Tree. Doctoral Program “Computational Mathematics”. Technical report, December2020.[url][bib]
Jiayue Qi.A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves. Doctoral Program “Computational Mathematics”. Technical report, November2020.[url][bib]
Jiayue Qi, Jovana Forcan.How fast can Dominator win in the Maker-Breaker domination game?. Doctoral Program “Computational Mathematics”. Technical report, October2020.[url][bib]
Radu, Cristian-Silviu.A reduction theorem of certain relations modulo p involving modular forms. In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein, C. Schneider (ed.), pp. 317-337.2020.Springer,978-3-030-44558-4.[doi][pdf][bib]
Franz-Xaver Reichl.The Integration of SMT Solvers into the RISCAL Model Checker. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Master Thesis.April2020.[pdf][bib]
M. Gallet, M. Makhul, J. Schicho.Probabilities of incidence between lines and a plane curve over finite field.Finite Fields and Their Applications61, pp. 1-22.2020.1071-5797.[bib]
V. Bartzos, I. Emiris, J. Schicho.On the multihomogeneous Bezout bound on the number of embeddings of minimally rigid graphs.Applicable Algebra in Engineering, Communication and Computing31, pp. 325-357.2020.0938-1279.[url][bib]
M. Gallet, J. Schicho.Counting Projections of Rational Curves.Israel Journal of Mathematics240, pp. 503-538.2020.0021-2172 .[url][bib]
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider.Three loop QCD corrections to heavy quark form factors. In: Proc. ACAT 2019, , J. Phys.: Conf. Ser.1525/012018, pp. 1-10.2020.ISSN 1742-6596.arXiv:1905.03728 [hep-ph].[doi][bib]
C. Krattenthaler, C. Schneider.Evaluation of binomial double sums involving absolute values. In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein, C. Schneider (ed.), Texts and Monographs in Symbolic Computuation, pp. 249-295.2020.Springer,ISBN 978-3-030-44558-4.arXiv:1607.05314 [math.CO].[doi][pdf][bib]
C. Schneider.Minimal representations and algebraic relations for single nested products.Programming and Computer Software46(2), pp. 133-161.2020.ISSN 1608-3261.arXiv:1911.04837 [cs.SC].[doi][pdf][bib]
J. Blümlein, A. Maier, P. Marquard, G. Schäfer, C. Schneider.From Momentum Expansions to Post-Minkowskian Hamiltonians by Computer Algebra Algorithms.Physics Letters B801(135157), pp. 1-8.2020.ISSN 0370-2693.arXiv:1911.04411 [gr-qc].[doi][bib]
J. Blümlein, P. Marquard, N. Rana, C. Schneider.Heavy quark form factors at three loops. In: 14th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.)POS(RADCOR2019)013, pp. 1-7.2020.ISSN 1824-8039.[doi][bib]
Johannes Blümlein, Peter Marquard, Carsten Schneider.A refined machinery to calculate large moments from coupled systems of linear differential equations. In: 14th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.), POS(RADCOR2019)078, pp. 1-13.2020.ISSN 1824-8039.arXiv:1912.04390 [cs.SC].[doi][bib]
A. Behring, J. Blümlein, A. De Freitas, A. Goedicke, S. Klein, A. van Manteuffel, C. Schneider, K. Schönwald.The Polarized Three-Loop Anomalous Dimensions from a Massive Calculation. In: 14th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.), POS(RADCOR2019)047arXiv:1911.06189 [hep-ph], pp. 1-10.2020.ISSN 1824-8039.[doi][bib]
J. Ablinger, J. Blümlein, A. De Freitas, M. Saragnese, C. Schneider, K. Schönwald.The three-loop polarized pure singlet operator matrix element with two different masses.Nuclear Physics B 952(114916), pp. 1-18.2020.ISSN 0550-3213.arXiv:1911.11630 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider, K. Schönwald.The three-loop single mass polarized pure singlet operator matrix element.Nuclear Physics B953(114945), pp. 1-25.2020.ISSN 0550-3213.arXiv:1912.02536 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, M. Saragnese, C. Schneider, K. Schönwald.The Two-mass Contribution to the Three-Loop Polarized Operator Matrix Element $A_{gg, Q}^{(3)}$ .Nuclear Physics B955, pp. 1-70.2020.ISSN 0550-3213.arXiv:2004.08916 [hep-ph].[doi][bib]
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner.McCarthy-Kleene fuzzy automata and MSO logics.Information and Computation, pp. -.2020.Elsevier,ISSN 0890-5401.In Press.[doi][bib]
Ádam Tóth, Tamas Bérczes, Janos Sztrik, Attila Kuki, Wolfgang Schreiner.The Simulation of Finite-Source Retrial Queueing Systems with Collisions and Blocking.Journal of Mathematical Sciences 246(4), pp. 548-559.March2020.ISSN 1573-8795.[doi][bib]
Wolfgang Schreiner, Franz-Xaver Reichl.Mathematical Model Checking Based on Semantics and SMT.Transactions on Internet Research16(2), pp. 4-13.July2020.IPSI,ISSN 1820-4503.[url][bib]
Wolfgang Schreiner, William Steingartner, Valerie Novitzká.A Novel Categorical Approach to the Semantics of Relational First-Order Logic.Symmetry12(10), pp. 1584-.2020.MDPI,Basel, Switzerland,ISSN 2073-8994.[doi][pdf][bib]
J. Cano, S. Falkensteiner, R. Sendra.Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One.Mathematics in Computer Science15, pp. 189-198.2020.ISSN 16618289.[doi][bib]
Nicolas Allen Smoot.On the Computation of Identities Relating Partition Numbers in Arithmetic Progressions with Eta Quotients: An Implementation of Radu's Algorithm.Journal of Symbolic Computation, pp. -.2020.0747-7171.To Appear.[pdf][bib]
Nicolas Allen Smoot.A Single-Variable Proof of the Omega SPT Congruence Family Over Powers of 5. Research Institute for Symbolic Computation. Technical report, 2020.Submitted.[pdf][bib]
N. Smoot.Computer Algebra with the Fifth Operation: Applications of Modular Functions to Partition Congruences. Research Institute for Symbolic Computation, JKU Linz. PhD Thesis.2020.[pdf][bib]
Moritz Willnauer.Modelling and Solving a Scheduling Problem by Max-Flow. RISC Institute, JKU Linz. Bachelor Thesis.March2020.[pdf][bib]
Ingolf Neumüller.Eine industrielle Anwendung von heuristischen Optimierungsverfahren für das Bin-Packing Problem. RISC Institute, JKU Linz. Master Thesis.September2020.[pdf][bib]
Lukas Weigert.Strong Rational General Solutions of AODEs using Optimal Curve Parametrization. Research Institute for Symbolic Computation. Master Thesis.April2020.Also available as RISC Report 20-17.[pdf][bib]
Franz Winkler.Symbolic computation in algebra, geometry, and differential equations. In: Proceedings CAI-2019, , Special issue of "Information and Computation", pp. 0-0.2020.0.[bib]
2019
J. Ablinger.Discovering and Proving Infinite Pochhammer Sum Identities.Experimental Mathematics, pp. 1-15.2019.Taylor & Francis,10.1080/10586458.2019.1627254.[doi][bib]
Ali Kemal Uncu, Alexander Berkovich.Polynomial Identities Implying Capparelli's Partition Theorems .Accepted - Journal of Number Theory, pp. -.2019.N/A.[url][bib]
Ali Kemal Uncu, Alexander Berkovich.Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities .ArXiv e-prints (accepted), pp. 1-10.2019.N/A.[url][bib]
J. Capco, C. Scheiderer.Sum of Squares over Rationals. RISC. Technical report, 2019.[url][pdf][bib]
David M. Cerna.Evaluation of the VL Logic (342.208-9) 2018W End of Semester Questionnaire. Submitted to the RISC Report Series. Feburary2019.[xlsx][pdf][bib]
David M. Cerna.The Castle Game. Submitted to the RISC Report Series. 2019.[pdf][bib]
David M. Cerna.Manual for AXolotl. Submitted to the RISC Report Series. 2019.[zip][pdf][jar][bib]
David M. Cerna and Temur Kutsia.Higher-Order Pattern Generalization Modulo Equational Theories. Submitted to the RISC Report Series. 2019.[pdf][bib]
David Cerna.AXolotl: A Self-study Tool for First-order Logic. Submitted to the RISC Report Series. May2019.[pdf][bib]
David M. Cerna, Temur Kutsia.A Generic Framework for Higher-Order Generalizations. In: Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Herman Geuvers (ed.), Leibniz International Proceedings in Informatics (LIPIcs)131, pp. 10:1-10:19.2019.Schloss Dagstuhl,ISSN 1868-8969.[doi][bib]
David M. Cerna.On the Complexity of Unsatisfiable Primitive Recursively defined $\Sigma_1$-Sentences. Submitted to the RISC Report Series. 2019.[pdf][bib]
David M. Cerna and Rafael Kiesel and Alexandra Dzhiganskaya.A Mobile Application for Self-Guided Study of Formal Reasoning. Submitted to the RISC Report Series. October2019.[pdf][bib]
Besik Dundua, Temur Kutsia, Mircea Marin.Variadic Equational Matching. In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (ed.), Lecture Notes in Computer Science11617, pp. 77-92.2019.Springer,ISBN 978-3-030-23249-8.[pdf][bib]
Mircea Marin, Temur Kutsia, Besik Dundua.A Rule-based Approach to the Decidability of Safety of ABACα. In: Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019, Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu, Adam J. Lee (ed.), pp. 173-178.2019.ACM,ISBN 978-1-4503-6753-0.[doi][pdf][bib]
Ankush Goswami.A q-analogue for Euler’s evaluations of the Riemann zeta function.Research in Number Theory5:3, pp. 1-11.2019.Springer,10.1007.[bib]
Ankush Goswami.A q-analogue for Euler’s $\zeta(6)=\pi^6/6$. In: Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday, Springer-Birkhauser (ed.), Proceedings of Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday, pp. 1-5.2019.none.[bib]
Ankush Goswami.Some Problems in Analytic Number Theory. University of Florida. PhD Thesis.2019.First part of this thesis is to appear in Proceedings of Analytic and Combinatorial Number Theory: The Legacy of Ramanujan - A CONFERENCE IN HONOR OF BRUCE C. BERNDT'S 80TH BIRTHDAY.[bib]
Ankush Goswami, Abhash Kumar Jha.On the parity of some partition functions. Technical report no. 20-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
G. Grasegger, J. Legerský, J. Schicho.Graphs with Flexible Labelings.Discrete & Computational Geometry62(2), pp. 461-480.2019.1432-0444.arXiv:1708.05298.[doi][bib]
Ralf Hemmecke, Silviu Radu.Construction of all Polynomial Relations among Dedekind Eta Functions of Level $N$.Journal of Symbolic Compuation95, pp. 39-52.2019.ISSN 0747-7171.Also available as RISC Report 18-03 http://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf.[doi][bib]
Ralf Hemmecke, Silviu Radu, Liangjie Ye.The Generators of all Polynomial Relations among Jacobi Theta Functions. In: Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, Johannes Blümlein and Carsten Schneider and Peter Paule (ed.), Texts & Monographs in Symbolic Computation18-09, pp. 259-268.2019.Springer International Publishing,Cham,978-3-030-04479-4.Also available as RISC Report 18-09 http://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf.[doi][bib]
Jiménez-Pastor Antonio, Pillwein Veronika.A Computable Extension for Holonomic Functions: DD-Finite Functions.Journal of Symbolic Computation94, pp. 90-104.September-October2019.ISSN 0747-7171.[doi][bib]
Jan Legerský.Flexible and Rigid Labelings of Graphs. Research Institute for Symbolic Computation, Johannes Kepler University Linz. PhD Thesis.2019.[url][pdf][bib]
J. Legerský, M. Svobodová.Construction of algorithms for parallel addition in expanding bases via Extending Window Method.Theoretical Computer Science795, pp. 547-569.2019. ISSN 0304-3975.[doi][bib]
A. Maletzky.Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. In: Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12), Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti-Coen (ed.), Proceedings of CICM 2019, Lecture Notes in Computer Science, pp. ?-?.2019.Springer,to appear.[pdf][bib]
A. Maletzky.Gröbner Bases and Macaulay Matrices in Isabelle/HOL. RISC, JKU Linz. Technical report, 2019.Submitted to Formal Aspects of Computing.[pdf][bib]
A. Maletzky.Theorema-HOL: Classical Higher-Order Logic in Theorema. Technical report no. 19-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2019.[pdf][bib]
Evans Doe Ocansey.Difference Ring Algorithms for Nested Products. RISC, Johannes Kepler University. PhD Thesis.November2019.[pdf][bib]
Evans Doe Ocansey.Difference Ring Algorithms for Nested Products. Technical report no. 20-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2019.[bib]
Temur Kutsia, Cleo Pau.Computing All Maximal Clique Partitions in a Graph. Technical report no. 19-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. Technical report no. 19-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance. Technical report no. 19-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers, Maurizio Gabbrielli (ed.), Lecture Notes in Computer Science 12042, pp. 107-122.2019.ISBN 978-3-030-45259-9.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. In: 33nd International Workshop on Unification, UNIF 2019, Daniele Nantes, Serdar Erbatur (ed.), pp. --.2019.[bib]
Peter Paule, Silviu Radu.A UNIFIED ALGORITHMIC FRAMEWORK FOR RAMANUJAN'S CONGRUENCES MODULO POWERS OF 5, 7, AND 11. Technical report no. 19-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).submitted,2019.[pdf][bib]
Peter Paule, Silviu Radu.A proof of the Weierstrass gap theorem not using the Riemann-Roch formula.Annals of Combinatorics23(19-02), pp. 963-1007.May2019.Springer,0218-0006.[doi][bib]
V. Pillwein.On the positivity of the Gillis–Reznick–Zeilberger rational function.Advances in Applied Mathematics104, pp. 75 - 84.2019. ISSN 0196-8858.[url][bib]
Haubold Tim, Pillwein Veronika, Beuchler Sven.Symbolic Evaluation of hp-FEM Element Matrices. In: Proceedings in Applied Mathematics and Mechanics (PAMM), Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) (ed.), Proceedings of 2019 Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM)19/1, pp. e201900446-e2019004.2019.[doi][bib]
Jiayue Qi.How to avoid collision of 3D-realization for moving graphs. Doctoral Program “Computational Mathematics”. Technical report, December2019.[url][bib]
Mark van Hoeij and Cristian-Silviu Radu .COMPUTING AN ORDER COMPLETE BASIS FOR M∞(N) AND APPLICATIONS. Technical report no. 19-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019. Licensed under CC BY 4.0 International.[pdf][bib]
Christian Krattenthaler, Mircea Merca, Cristian-Silviu Radu.Infinite Product Formulae for Generating Functions for Sequences of Squares. Submitted to the RISC Report Series. 2019. Licensed under CC BY 4.0 International.[pdf][bib]
M. Hauer, B. Jüttler, J. Schicho.Projective and affine symmetries and equivalences of rational and polynomial surfaces.J. Comp. Appl. Math.349, pp. 424-437.2019.0377-0427.[bib]
P. Paule, C. Schneider.Towards a symbolic summation theory for unspecified sequences. In: Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, J. Blümlein, P. Paule, C. Schneider (ed.), Texts and Monographs in Symbolic Computation, pp. 351-390.2019.Springer,ISBN 978-3-030-04479-4.arXiv:1809.06578 [cs.SC].[doi][pdf][bib]
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider.Automated Solution of First Order Factorizable Systems of Differential Equations in One Variable.Nucl. Phys. B939, pp. 253-291.2019.ISSN 0550-3213.arXiv:1810.12261 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, M. Round, C. Schneider.Numerical Implementation of Harmonic Polylogarithms to Weight w = 8.Comput. Phys. Comm.240, pp. 189-201.2019.ISSN 0010-4655.arXiv:1809.07084 [hep-ph].[doi][pdf][bib]
J. Blümlein, P. Marquard, N. Rana, C. Schneider.The Heavy Fermion Contributions to the Massive Three Loop Form Factors.Nuclear Physics B949(114751), pp. 1-97.2019.ISSN 0550-3213.arXiv:1908.00357 [hep-ph].[doi][bib]
A. Behring, J. Blümlein, A. De Freitas, A. Goedicke, S. Klein, A. von Manteuffel, C. Schneider, K. Schönwald.The Polarized Three-Loop Anomalous Dimensions from On-Shell Massive Operator Matrix Elements.Nuclear Physics B948(114753), pp. 1-41.2019.ISSN 0550-3213.arXiv:1908.03779 [hep-ph].[doi][bib]
Wolfgang Schreiner.Das Kooperationsprojekt "Supercomputer MACH-2". In: ACOnet Jahresbericht 2018, Christian Panigl (ed.), pp. 53-55.2019.Universität Wien,ISSN 2616-7972.[url][bib]
Wolfgang Schreiner.Theorem and Algorithm Checking for Courses on Logic and Formal Methods. In: Post-Proceedings ThEdu'18, Pedro Quaresma and Walther Neuper (ed.), Proceedings of 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 July 2018, Electronic Proceedings in Theoretical Computer Science (EPTCS)290, pp. 56-75.April 12019.Open Publishing Association,ISSN 2075-2180.[doi][pdf][bib]
Wolfgang Schreiner, Valerie Novitzká, William Steingartner.A Categorical Semantics of Relational First-Order Logic. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March2019.[pdf][bib]
Wolfgang Schreiner.Logic and Semantic Technologies for Computer Science Education. In: Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20–22, William Steingartner, Štefan Korecko, Anikó Szakál (ed.), pp. 415-420.2019.IEEE,ISBN 978-1-7281-3178-8.invited paper.[doi][bib]
William Steingartner, Valerie Novitzká, Wolfgang Schreiner.A Coalgebraic Operational Semantics for an Imperative Language.Computing and Informatics, pp. -.2019.ISSN 1335-9150.To appear.[bib]
Wolfgang Schreiner, János Sztrik.On the Probabilistic Model Checking of a Retrial Queueing System with Unreliable Server, Collision, and Constant Time Impatience. Technical report no. 19-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2019.[pdf][bib]
Wolfgang Schreiner, János Sztrik.Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with Constant Time Impatience. Technical report no. 19-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2019.[pdf][bib]
S. Falkensteiner, R. Sendra.Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places.Mathematics in Computer Science14, pp. 327-337.122019.ISSN 1661-8289.[doi][bib]
Nicolas Allen Smoot.A Family of Congruences for Rogers-Ramanujan Subpartitions.Journal of Number Theory196, pp. 35-60.March2019.ISSN 0022-314X.[pdf][bib]
Stefan Amberger.A Parallel, In-Place, Rectangular Matrix Transpose Algorithm. Research Institute for Symbolic Computatation (RISC), Johannes Kepler University, Linz, Austria. Master Thesis.March2019.[pdf][bib]
Hsuan-Ming Chen.Migrating Mathematical Programs to Web Interface Frameworks. Research Institute for Symbolic Computatation (RISC), Johannes Kepler University, Linz, Austria. Master Thesis.April2019.Internationaler Universitätslehrgang: Informatics: Engineering & Management.[pdf][bib]
Ali Kemal Uncu.A Polynomial Identity Implying Schur's Partition Theorem .ArXiv e-prints (submitted), pp. 1-11.2019.N/A.[url][bib]
Franz Winkler.The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey.Journal of System Science and Complexity32, pp. 256-270.2019.1009-6124.[bib]
J.R. Sendra, Franz Winkler.The algebro-geometric solution method for algebraic differential equations - An introduction by examples. In: Complex Differential and Difference Equations, Proceedings of the School and Conference CDDE, held at Bedlewo, Poland, deGruyter (ed.), pp. 129-146.2019.Polish Academy of Sciences, deGruyter,978-3-11-061142-7.[bib]
2018
J. Ablinger.An Improved Method to Compute the Inverse Mellin Transform of Holonomic Sequences. In: Proceedings of "Loops and Legs in Quantum Field Theory - LL 2018, J. Blümlein and P. Marquard (ed.), PoS(LL2018), pp. 1-10.2018.ISSN 1824-8039.[url][bib]
N. Amiridze, T. Kutsia.Anti-Unification and Natural Language Processing. In: Fifth Workshop on Natural Language and Computer Science, NLCS’18, A. Asudeh, V. de Paiva, L. Moss (ed.), EasyChair preprints203, pp. 1-12.2018.[doi][pdf][bib]
Gallet Matteo, Ranestad Kristian, Villamizar Nelly.Varieties of apolar subschemes of toric surfaces.Ark. Mat.56(1), pp. 73-99.2018. ISSN 0004-2080.[doi][bib]
Gallet Matteo, Ranestad Kristian, Villamizar Nelly.Varieties of apolar subschemes of toric surfaces.Ark. Mat.56(1), pp. 73-99.2018. ISSN 0004-2080.[doi][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Term-Graph Anti-Unification. Technical report no. 18-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2018.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Term-Graph Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs)108, pp. 9:1-9:17.2018.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,Dagstuhl, Germany,ISBN 978-3-95977-077-4 ISSN 1868-8969.[url][bib]
Berkovich A., Uncu A. K..On some polynomials and series of Bloch-Polya Type.PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY146(7), pp. 2827-2838.July2018.1088-6826.[url][bib]
Berkovich A., Uncu A. K..Some Elementary Partition Inequalities and Their Implications.ArXiv e-prints (to appear in Annals of Cobinatorics), pp. -.2018.Preprint.[url][bib]
Ali Kemal Uncu, Alexander Berkovich.Elementary Polynomial Identities Involving q-Trinomial Coefficients .ArXiv e-prints (submitted), pp. -.2018.N/A.[url][bib]
Jose Capco.Generalizing some Results in Field Theory for Rings.Communications in Algebra, pp. 0-12.2018.0092-7872.Preprint.[pdf][bib]
David M. Cerna.Primitive Recursive Proof Systems for Arithmetic. RISC. Technical report, January 2018.In revision.[pdf][pdf][bib]
David M. Cerna, Temur Kutsia.Idempotent Anti-unification . RISC. Technical report, Feb.2018.to appear in TOCL.[pdf][bib]
David M. Cerna.A General Recursive Construction for Schematic Resolution Derivations. Submitted to the RISC Report Series. 2018.[bib]
David M. Cerna, Temur Kutsia.Higher-Order Equational Pattern Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs)108, pp. 12:1-12:17.2018.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,Dagstuhl, Germany,ISBN 978-3-95977-077-4 ISSN 1868-8969.[url][bib]
Dominici Diego.Mehler-Heine type formulas for Charlier and Meixner polynomials II. Higher order terms.J. Class. Anal.12(1), pp. 9-13.2018. ISSN 1848-5979.[doi][bib]
Dominici Diego.Laguerre-Freud equations for generalized Hahn polynomials of type I.J. Difference Equ. Appl.24(6), pp. 916-940.2018. ISSN 1023-6198.[doi][bib]
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat.Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques.Journal of Symbolic Computation90, pp. 3-41.2018.Elsevier,07477171.[doi][bib]
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia.Pattern-based calculi with finitary matching.Logic Journal of the IGPL26(2), pp. 203-243.2018.ISSN 1367-0751.[doi][bib]
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst.Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. In: Post-Proceedings ThEdu'17, Pedro Quaresma and Walther Neuper (ed.), Proceedings of 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS)267, pp. 120-139.2018.Open Publishing Association,ISSN 2075-2180.[doi][pdf][bib]
Gallet Matteo, Ranestad Kristian, Villamizar Nelly.Varieties of apolar subschemes of toric surfaces.Ark. Mat.56(1), pp. 73-99.2018. ISSN 0004-2080.[doi][bib]
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler.Rational General Solutions of Systems of First-Order Partial Differential Equations.Journal of Computational and Applied Mathematics331, pp. 88-103.2018.ISSN: 0377-0427.[bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.Rational general solutions of systems of first-order algebraic partial differential equations.J. Computational and Applied Mathematics(331), pp. 88-103.2018.ISSN 0377-0427.[pdf][bib]
N.T. Vo, G. Grasegger, F. Winkler.Deciding the existence of rational general solutions for first-order algebraic ODEs.Journal of Symbolic Computation(87), pp. 127-139.2018.ISSN 0747-7171.[pdf][bib]
Ralf Hemmecke.Dancing Samba with Ramanujan Partition Congruences.Journal of Symbolic Compuation84, pp. 14-24.2018.0747-7171.Also available as RISC Report 16-06 https://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf.[doi][bib]
T. Jebelean.Experiments with Automatic Proofs in Elementary Analysis. Technical report no. 18-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2018.Work in progress.[zip][pdf][pdf][bib]
Jiménez-Pastor Antonio, Pillwein Veronika.Algorithmic Arithmetics with DD-Finite Functions. In: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Arreche Carlos (ed.), ISSAC '18, pp. 231-237.2018.ACM,New York, NY, USA,ISBN 978-1-4503-5550-6.[doi][bib]
Ivan Gonzalez, Karen Kohl, Lin Jiu, and Victor H. Moll.The Method of Brackets in Experimental Mathematics. In: Frontiers in Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. -.2018.World Scientific Publishing,978-981-3228-87-0.[url][bib]
Christoph Koutschan, Peter Paule.Holonomic Tools for Basic Hypergeometric Functions. In: Frontiers of Orthogonal Polynomials and q-Series, Xin Li, Zuhair Nashed (ed.), pp. 393-416.2018.World Scientific Publishing,ISBN 978-981-3228-87-0.[doi][pdf][bib]
David M. Cerna and Temur Kutsia.Idempotent Generalization is Infinitary. RISC. Technical report, RISC Report, 2018.[pdf][bib]
E. Bartzos, I.Z. Emiris, J. Legerský, E. Tsigaridas.On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs. In: ISSAC '18 Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, C. Arreche (ed.), Proceedings of International Symposium on Symbolic and Algebraic Computation 2018, pp. 55-62.2018.978-1-4503-5550-6.[doi][bib]
J. Legerský.Minimal non-integer alphabets allowing parallel addition.Acta Polytechnica, Journal of Advanced Engineering58(5), pp. 285-291.2018.ISSN 1805-2363.[doi][bib]
Tobias Magnusson.The functional equation of Dedekind's $\eta$-function. Submitted to the RISC Report Series. June 152018.[pdf][tex][bib]
A. Maletzky, F. Immler.Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. In: Intelligent Computer Mathematics (Proceedings of CICM 2018, Hagenberg, Austria, August 13-17), Florian Rabe and William Farmer and Grant Passmore and Abdou Youssef (ed.), Proceedings of CICM 2018, Lecture Notes in Computer Science11006, pp. 178-193.2018.Springer,ISBN 978-3-319-96811-7.The final publication is available at Springer via https://doi.org/10.1007/978-3-319-96812-4_16.[doi][bib]
A. Maletzky, F. Immler.Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version). RISC, JKU Linz. Technical report, May2018.arXiv:1805.00304 [cs.LO].[url][bib]
A. Maletzky.Gröbner Bases and Macaulay Matrices in Isabelle/HOL. RISC. Technical report, December2018.[pdf][bib]
A. Maletzky.A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms. RISC. Technical report, September2018.Submitted.[pdf][bib]
S. McCallum, F. Winkler.Resultants: Algebraic and Differential. Technical report no. 18-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2018.[pdf][bib]
S. McCallum, F. Winkler.Differential Resultants, in Recent Advances in Algebra, Numerical Analysis and Statistics. In: Proc. Internat. Conf. on Mathematics (ICM 2018), R. Bris et al. (ed.), Proceedings of ICM 2018, pp. 1-11.Dezember2018.Ton Duc Thang University (TDTU), Ho Chi Minh City, Vietnam,ISBN 978-2-7598-9058-3.[url][pdf][bib]
Temur Kutsia, Cleo Pau.Proximity-Based Generalization. In: 32nd International Workshop on Unification, UNIF 2018, Mauricio Ayala-Rincon and Philippe Balbiani (ed.), pp. - .2018.[pdf][bib]
Peter Paule, Cristian-Silviu Radu.Rogers-Ramanujan functions, modular functions, and computer algebra. In: Advances in Computer Algebra - In Honour of Sergei Abramov's 70th Birthday, C. Schneider, E. Zima. (ed.), Springer Proceedings in Mathematics & Statistics226, pp. 229-280.2018.Springer, Cham,978-3-319-73231-2.[doi][pdf][bib]
Peter Paule, Silviu Radu.A Unified Algorithmic Framework for Ramanujan's Congruences Modulo Powers of 5, 7, and 11. Submitted to the RISC Report Series. 2018. Licensed under CC BY 4.0 International.[pdf][bib]
V. Pillwein.Positivity of the Gillis-Reznick-Zeilberger rational function. Technical report no. 18-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2018.[pdf][bib]
D. Dominici, V. Pillwein.Difference equation satisfied by the Stieltjes transform of a sequence. Doctoral Program "Computational Mathematics". Technical report no. DK Report 2018-11, 2018.[url][pdf][bib]
J. Ablinger, J. Blümlein, A. De Freitas, M. van Hoeij, E. Imamoglu, C.G. Raab, C.-S. Radu, C. Schneider.Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams.J. Math. Phys.59(062305), pp. 1-55.2018.ISSN 0022-2488.arXiv:1706.01299 [hep-th].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, E. Imamoglu, M. van Hoeij A. von Manteuffel, C.G. Raab, C.-S. Radu, C. Schneider.Iterative and Iterative-Noniterative Integral Solutions in 3-Loop Massive QCD Calculations. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 069, pp. 1-13.2018.ISSN 1824-8039.arXiv:1711.09742 [hep-ph].[doi][bib]
Cristian-Silviu Radu.An algorithm to prove algebraic relations involving eta quotients.Annals of Combinatorics22, pp. 377-391.2018.Springer,0219-3094.[doi][pdf][bib]
A. Lin, M. Makhul, H. N. Mojarrad, J. Schicho, K. Swanepoel, F. de Zeeuw.On sets defining few ordinary circles.Discrete and Computational Geometry59, pp. 59-87.2018.0179-5376.[bib]
N. Lubbes, J. Schicho.Kinematic generation of Darboux cyclides.Comp. Aided Geom. Des.64, pp. -.2018.0167-8396.[bib]
Z. Li, J. Schicho, H.-P. Schröcker.Kempe's Universality Theorem for Rational Space Curves.Found. Comp. Math.18, pp. 509-536.2018.1615-3375.[bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, C. Schneider, K. Schönwald.The Two-mass Contribution to the Three-Loop Gluonic Operator Matrix Element $A_{gg, Q}^{(3)}$.Nucl. Phys. B932, pp. 129-240.2018.ISSN 0550-3213.arXiv:1804.02226 [hep-ph].[doi][bib]
J. Middeke, C. Schneider.Denominator Bounds for Systems of Recurrence Equations using ΠΣ-Extensions. In: Advances in Computer Algebra. WWCA 2016., C. Schneider, E. Zima (ed.), Springer Proceedings in Mathematics & Statistics226, pp. 149-173.2018.Springer,ISSN 2194-1009.arXiv:1705.00280 [cs.SC].[doi][pdf][bib]
E.D. Ocansey, C. Schneider.Representing (q-)hypergeometric products and mixed versions in difference rings. In: Advances in Computer Algebra. WWCA 2016., C. Schneider, E. Zima (ed.), Springer Proceedings in Mathematics & Statistics226, pp. 175-213.2018.Springer,ISSN 2194-1009.arXiv:1705.01368 [cs.SC].[doi][pdf][bib]
J. Blümlein, M. Round, C. Schneider.Refined Holonomic Summation Algorithms in Particle Physics. In: Advances in Computer Algebra. WWCA 2016., E. Zima, C. Schneider (ed.), Springer Proceedings in Mathematics & Statistics 226, pp. 51-91.2018.Springer,ISSN 2194-1009.arXiv:1706.03677 [cs.SC].[doi][pdf][bib]
J. Ablinger, J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald.The two-mass contribution to the three-loop pure singlet operator matrix element.Nucl. Phys. B(927), pp. 339-367.2018.ISSN 0550-3213.arXiv:1711.06717 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider.Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering: Recent Results. In: Proceedings of QCDEV2017, L. Gamberg, A. Prokudin, J.W. Qiu and A. Radyushkin (ed.)PoS(QCDEV2017)031 , pp. 1-10.2018.ISSN 1824-8039.arXiv:1711.07957 [hep-ph].[doi][bib]
J. Ablinger, C. Schneider.Algebraic independence of sequences generated by (cyclotomic) harmonic sums.Annals of Combinatorics22(2), pp. 213-244.2018.ISSN: 0218-0006.arXiv:1510.03692 [cs.SC].[doi][pdf][bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, C. Schneider, K. Schönwald, F. Wißbrock.The massive 3-loop operator matrix elements with two masses and the generalized variable flavor number scheme. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 071, pp. 1-20.2018.ISSN 1824-8039. arXiv:1712.00745 [hep-ph].[doi][bib]
Jakob Ablinger, Johannes Blümlein, Mark Round, Carsten Schneider.Special functions, transcendentals and their numerics. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang, C. Schneider (ed.)PoS (RADCOR2017) 010, pp. 1-7.2018.ISSN 1824-8039. arXiv:1712.08541 [hep-th].[doi][bib]
J. Ablinger, A. Behring, J. Bluemlein, G. Falcioni, A. De Freitas, P. Marquard, N. Rana, C. Schneider.The Heavy Quark Form Factors at Two Loops.Physical Review D97(094022), pp. 1-44.2018.ISSN 1550-2368.arXiv:1712.09889 [hep-ph].[doi][bib]
J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald.The Variable Flavor Number Scheme at Next-to-Leading Order.Physics Letters B782, pp. 362-366.2018.ISSN: 0370-2693.arXiv:1804.03129 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider.Heavy Quark Form Factors at Three Loops in the Planar Limit.Physics Letters B782, pp. 528-532.2018.ISSN: 0370-2693.arXiv:1804.07313 [hep-ph].[doi][bib]
J. Blümlein, C. Schneider.Analytic Computing Methods for Precision Calculations in Quantum Field Theory.INTERNATIONAL JOURNAL OF MODERN PHYSICS A (IJMPA)33(1830015), pp. 1-35.2018.ISSN: 1793-656X.arXiv:1809.02889 [hep-ph].[doi][bib]
J. Blümlein, A. De Freitas, M. van Hoeij, E. Imamoglu, P. Marquard, C. Schneider.The ρ parameter at three loops and elliptic integrals. In: Proceedings of "Loops and Legs in Quantum Field Theory - LL 2018", 29 April - 4 May 2018, J. Blümlein, P. Marquard (ed.), PoS(LL2018)017, pp. 1-14.2018.ISSN 1824-8039.arXiv:1807.05287 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, C. Schneider, K. Schönwald.Two-mass three-loop effects in deep-inelastic scattering. In: Proceedings of "Loops and Legs in Quantum Field Theory - LL 2018, J. Blümlein, P. Marquard (ed.), PoS(LL2018)051, pp. 1-8.2018.ISSN 1824-8039.arXiv:1807.07855 [hep-ph].[doi][bib]
Jakob Ablinger, Johannes Bluemlein, Peter Marquard, Narayan Rana, Carsten Schneider.Massive three loop form factors in the planar limit. In: Proceedings of "Loops and Legs in Quantum Field Theory - LL 2018, J. Blümlein, P. Marquard (ed.), PoS(LL2018)009, pp. 1-10.2018.ISSN 1824-8039.ISSN 1824-8039.[doi][bib]
J. Blümlein, C. Schneider.Computer algebra tools for Feynman integrals and related multi-sums. In: Proceedings of Loops and Legs in Quantum Field Theory - LL 2018, J. Blümlein, P. Marquard (ed.), PoS(LL2018)052, pp. 1-17.2018.ISSN 1824-8039.arXiv:1809.06168 [cs.SC].[doi][bib]
Johannes Middeke, Carsten Schneider.Towards a Direct Method for Finding Hypergeometric Solutions of Linear First Order Recurrence Systems.ACM Communications52(3), pp. 185-187.September2018.0000.Extended abstract of the poster presentation at 43st International Symposium on Symbolic and Algebraic Computation (ISSAC'18).[doi][pdf][bib]
Wolfgang Schreiner, Tamás Bérczes, János Sztrik, Hamza Nemouchi.On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Infocommunication Systems. Technical report no. 18-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2018.[pdf][bib]
Wolfgang Schreiner, William Steingartner.Visualizing Execution Traces in RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March2018.[pdf][bib]
Wolfgang Schreiner.Validating Mathematical Theories and Algorithms with RISCAL. In: Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (ed.), Proceedings of CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence11006, pp. 248-254.2018.Springer,Berlin,ISBN 978-3-319-96811-7.The final authenticated version is available online at Springer.[doi][pdf][bib]
Wolfgang Schreiner.Logic as a Path to Enlightenment (Work in Progress Report). In: Computer Mathematics in Education - Enlightenment or Incantation?, Walther Neuper (ed.), Proceedings of CME-EI18, Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018., pp. 1-5.August2018.CEUR Workshop Proceedings, Volume 2307, http://ceur-ws.org/Vol-2307/,ISSN 1613-0073.[url][pdf][bib]
Wolfgang Schreiner, William Steingartner.Visualizing Logic Formula Evaluation in RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July2018.[pdf][bib]
Wolfgang Schreiner.WebEx: Web Exercises for RISCAL. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2018.[pdf][bib]
Ramez Elbaroudy.A Gateway for the Generic Conversion of Protocols for Smart Meters and IoT Applications. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Master Thesis.July2018.[pdf][bib]
M. Schlenkrich.Das Shifting-Bottleneck Verfahren für das Job-Shop Scheduling-Problem. JKU Linz. Bachelor Thesis.September2018.[pdf][bib]
Lucas Payr.Formalization and Validation of Fundamental Sequence Algorithms by Computer-assisted Checking of Finite Models. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Bachelor Thesis.December2018.[pdf][bib]
Ali Kemal Uncu.On double sum generating functions in connection with some classical partition theorems .ArXiv e-prints, pp. 1-20.2018.N/A.[bib]
N.T. Vo, G. Grasegger, F. Winkler.Computation of all rational solutions of first-order algebraic ODEs.Advances in Applied Mathematics98, pp. 1-24.March2018.Elsevier,0196-8858.[doi][bib]
F. Winkler.Das Unendliche im mathemtischen Alltag. In: Beiträge des 41. Internationalen Wittgenstein Symposiums, G.M. Mras, P. Weingartner, B. Ritter (ed.), Proceedings of 41. Internationales Wittgenstein Symposium, pp. 285-287.August2018.ISSN 1022-3398.[pdf][bib]
2017
J. Ablinger.Discovering and Proving Infinite Binomial Sums Identities.Experimental Mathematics26(1), pp. 62-71.2017.ISSN 1058-6458.10.1080/10586458.2015.1116028.[url][bib]
J. Ablinger.Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), A. Hoang and C. Schneider (ed.)PoS (RADCOR2017) 069, pp. 1-8.2017.ISSN 1824-8039.arXiv:1801.01039 [cs.SC].[url][bib]
Prabir Das Adhikary, Koustav Banerjee.An elementary alternative proof for Chan's analogue of Ramanujan's most beautiful identity and some inequality of the cubic partition.Notes on Number Theory and Discrete Mathematics23(1), pp. 77-87.2017.1310-5132 / 2367-8275.[url][pdf][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification.Information and Computation255(2), pp. 262-286.2017.ISSN: 0890-5401.[doi][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning58(2), pp. 293-310.2017.ISSN 0168-7433.[doi][bib]
Berkovich Alexander, Uncu Ali K..Variation on a theme of Nathan Fine. New weighted partition identities.J. Number Theory176, pp. 226-248.2017. ISSN 0022-314X.[doi][bib]
Bruno Buchberger.Gröbner Bases Computation by Triangularizing Macaulay Matrices.Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases)75, pp. 1-9.2017.Mathematical Society of Japan,0.[bib]
Abraham Erika , Abbott John , Becker Bernd , Bigatti Anna Maria , Brain Martin , Buchberger Bruno , Cimatti Alessandro , Davenport James , England Matthew , Fontaine Pascal , Forrest Stephen , Griggio Alberto , Kröning Daniel , Seiler Werner M. , Sturm .Satisfiability Checking and Symbolic Computation.ACM Communications in Computer Algebra50(4), pp. 145-147.2017.0.[bib]
David M. Cerna , Wolfgang Schreiner.Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. In: Epic series in computer science, Mohamed Mosbah, Michaël Rusinowitch (eds). (ed.), Proceedings of SCSS 2017, 8th International Symposium on Symbolic Computation in Software Science, Epic45, pp. 1-15.April2017.Easy chair,ISSN 2398-7340.[url][pdf][bib]
David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner.Ceres in Intuitionistic Logic.Annals of Pure and Applied Logic, pp. 1783-1836.October2017.Elsevier, ISSN 0168-0072.[url][bib]
David M. Cerna and Michael Lettmann.Integrating a Global Induction Mechanism into a Sequent Calculus. In: TABLEAUX 2017, Renate A. Schmidt and Cl{\'{a}}udia Nalon (ed.), Proceedings of Tableaux, lecture notes in computer science, pp. 278-294.September2017.Springer,978-3-319-66901-4.[bib]
David M. Cerna and Michael Lettmann.Towards a Clausal Analysis of Proof Schemata. In: SYNASC 2017, Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie and Tetsuo Ida and Stephan Watt (ed.), IEEE Xplore, pp. 113-120.September2017.978-1-5386-2625-2.[bib]
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayr.An overview of PρLog. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, Y. Lierler and W. Taha (ed.), Lecture Notes in Computer Science10137, pp. 34-49.2017.Springer,ISBN 978-3-319-51675-2.[pdf][bib]
Mauricio Ayala-Rincon, Besik Dundua, Temur Kutsia, Mircea Marin.Rewriting Logic from a ρLog Point of View. In: Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017) , Sandra Alves and Renata Wasserman (ed.), pp. -.2017.[pdf][bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.Pattern-Based Calculi with Finitary Matching.Logic Journal of the IGPL, pp. -.2017.Oxford University Press,ISSN 1367-0751.To appear.[doi][bib]
Christoph Fuerst, Alexander Levin.Relative Reduction and Buchberger’s Algorithm in Filtered Free Modules. In: Mathematics in Computer Science, W. Koepf (ed.), pp. 1-11.2017.1661-8289.[bib]
Georg Grasegger, N. Thieu Vo.An Algebraic-Geometric Method for Computing Zolotarev Polynomials. In: Proceedings of the 2017 international symposium on symbolic and algebraic computation (ISSAC), Burr, M. (ed.), pp. 173-180.2017.ACM Press,New York,ISBN: 978-1-4503-5064-8.[bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, C. Schneider, F. Wißbrock.Three Loop Massive Operator Matrix Elements and Asymptotic Wilson Coefficients with Two Different Masses.Nucl. Phys. B.921, pp. 585-688.2017.ISSN 0550-3213.arXiv:1705.07030 [hep-ph].[doi][bib]
E. Abraham, T. Jebelean.Adapting Cylindrical Algebraic Decomposition for Proof Specific Tasks. In: ICAI 2017: 10th International Conference on Applied Informatics, G. Kusper (ed.), Proceedings of ICAI 2017: 10th International Conference on Applied Informatics, pp. 0-0.2017.ISBN 0.In print.[url][pdf][bib]
Ivan Gonzalez, Karen Kohl, Lin Jiu, and Victor H. Moll.An extension of the method of brackets. Part 1.Open Mathematics (formerly Central European Journal of Mathematics)15, pp. 1181-1211.2017.2391-5455.[url][bib]
L. Jiu.Integral representations of equally positive integer-indexed harmonic sums at infinity.Research in Number Theory3(10), pp. 1-4.2017.2363-9555.[url][bib]
M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar.Planar linkages following a prescribed motion.Math. Comp.87, pp. 473-506.2017.ISSN: 1088-6842.[url][bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho.The number of realizations of a Laman graph. Research Institute for Symbolic Computation (RISC/JKU). Technical report, 2017.[url][pdf][bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho.Computing the number of realizations of a Laman graph. In: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017), Vadim Lozin (ed.), Proceedings of The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)61, pp. 207-213.2017.ISSN 1571-0653.[url][bib]
Manfred Schmidt-Schauss, Temur Kutsia, Jordy Levy, Mateu Villaret.Nominal Unification of Higher Order Expressions with Recursive Let. In: Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, M. Hermenegildo and P. Lopez-Garcia (ed.), LNCS10184, pp. 328-344.2017.Springer,ISBN 978-3-319-63138-7.[pdf][bib]
Johannes Blömer, Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos, editors.Mathematical Aspects of Computer and Information Sciences.Lecture Notes in Computer Science10693,2017.Springer,ISBN 978-3-319-72452-2.[doi][bib]
A. Maletzky, W. Windsteiger.The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. In: Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, H. Geuvers, M. England, O. Hasan, F. Rabe, O. Teschke (ed.), Lecture Notes in Computer Science10383, pp. 25-39.2017.Springer,ISBN 978-3-319-62075-6.doi 10.1007/978-3-319-62075-6_3.[url][pdf][bib]
A. Maletzky.A New Reasoning Framework for Theorema 2.0. RISC, Johannes Kepler University Linz. Technical report, May2017.Accepted as work-in-progress paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21).[pdf][bib]
Johannes Middeke.Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences over K(t) for Constant K. In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, Michael Burr (ed.), Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 325-332.2017.978-1-4503-5064-8.[bib]
Tudor Jebelean, Nikolaj Popov.A Set-Based Approach to Qualitative and Quantitative Estimation of Competencies. Technical report no. 17-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2017.[pdf][bib]
Jiayue Qi.The Group-theoretical Method of Matrix Multiplication. Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences. Master Thesis.2017.[url][bib]
M. Gallet, G. Nawratil, J. Schicho, J. Selig.Mobile Icosapods.Adv. Appl. Math.88, pp. 1-25.2017.ISSN: 0196-8858.[doi][bib]
U. Hertrich-Jeromin, B. Jüttler, J. Schicho.New developments in geometry. Theory and applications.Comp. Aided Geom. Des.47, pp. 1-2.2017.ISSN: 0167-8396.[doi][bib]
M. Gallet, G. Nawratil, J. Schicho.Liaison linkages.J. Symb. Comp.79, pp. 65-98.2017.ISSN: 0747-7171.[doi][bib]
C. Schneider.Summation Theory II: Characterizations of $RPiSigma$-extensions and algorithmic aspects.J. Symb. Comput.80(3), pp. 616-664.2017.ISSN 0747-7171.arXiv:1603.04285 [cs.SC].[doi][pdf][bib]
C. Schneider, R. Sulzgruber.Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm.Electron. J. Combin. 24(2), pp. 1-33.2017.ISSN: 1077-8926.#P2.28, arXiv:1606.07597.[doi][bib]
J. Blümlein, C. Schneider.The Method of Arbitrarily Large Moments to Calculate Single Scale Processes in Quantum Field Theory.Physics Letters B771, pp. 31-36.2017.ISSN 0370-2693.arXiv:1701.04614 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider.The Three-Loop Splitting Functions $P_{qg}^{(2)}$ and $P_{gg}^{(2, \rm N_F)}$.Nucl. Phys. B.922, pp. 1-40.2017.ISSN 0550-3213..arXiv:1705.01508 [hep-ph].[doi][bib]
J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald.The Three Loop Two-Mass Contribution to the Gluon Vacuum Polarization. Cornell University. Technical report no. arXiv:1710.04500 [hep-ph], 2017.[url][bib]
J. Ablinger, A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, P. Marquard, N. Rana, C. Schneider.Heavy quark form factors at two loops in perturbative QCD.ACTA PHYSICA POLONICA B48(12), pp. 2155-2166.2017. ISSN 0587-4254.Presented at the XLI International Conference of Theoretical Physics “Matter to the Deepest”, Podlesice, Poland, September 3–8, 2017, arXiv:1711.04880 [hep-ph].[doi][bib]
Wolfgang Schreiner.The RISC Algorithm Language - Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, January2017.[pdf][bib]
Ovidiu Constantin Novac, Tamás Bérczes, Attila Kuki, Ádám Tóth, Wolfgang Schreiner.Modeling RF-Based Sensor Networks by Using Dual-Source Retrial Queueing Systems. In: ICEMES 2017, 14th International Conference on Engineering of Modern Electric Systems, Oradea, Romania, June 1–2, 2017, Mircea Gordan, Teodor Leuca, Florin Constantinescu (ed.), pp. 149-153.2017.IEEE Xplore,ISBN 978-1-5090-6073-3.[doi][bib]
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner.MK-fuzzy Automata and MSO Logics. In: 8th Symposium on Games, Automata, Logics and Formal Verification (GandALF’17), P. Bouyer, A. Orlandini, P. San Pietro (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS)256, pp. 106-120.September2017.Rome, Italy, September 22-27,ISSN 2075-2180.[pdf][bib]
C. Ilonka.An Online Auction System for Selling Fiber Products. ISI Hagenberg, JKU Linz. Master Thesis.July2017.[pdf][bib]
Alexander Brunhuemer.Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Bachelor Thesis.September2017.[pdf][bib]
Uncu Ali Kemal.Weighted Rogers-Ramanujan partitions and Dyson crank.The Ramanujan Journal, pp. -.May2017. ISSN 1572-9303.[doi][bib]
W. Windsteiger.Theorema 2.0: A Brief Tutorial. In: Proceedings of SYNASC 2017, Tudor Jebelean and Daniela Zaharie (ed.), Proceedings of SYNASC 2017, IEEE Explore, pp. 1-3.2017.ISBN 978-1-5386-2626-9.[doi][pdf][bib]
xinhua xiong.Overpartitions and ternary quadratic forms.The Ramanujan Journal42(2), pp. 429-442.2017.issn:1382-4090.[bib]
Liangjie Ye.Elliptic Function Based Algorithms to Prove Jacobi Theta Function Relations.Journal of Symbolic Computation, to appear, pp. 1-25.2017.-.[pdf][bib]
Liangjie Ye.A Symbolic Decision Procedure for Relations Arising among Taylor Coefficients of Classical Jacobi Theta Functions.Journal of Symbolic Computation 82, pp. 134-163.2017.ISSN: 0747-7171.[pdf][bib]
Liangjie Ye.Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities. RISC and the DK program Linz. PhD Thesis.2017.Updated version in June 2017.[pdf][bib]
2016
J. Ablinger.Inverse Mellin Transform of Holonomic Sequences. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein and P. Marquard and T. Riemann (ed.), Proc. of SciencesPoS (LL2016) 067, pp. -.2016.ISSN 1824-8039.arXiv:1606.02845 [cs.SC].[url][bib]
Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.Practical Event Monitoring in the LogicGuard Framework. In: embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -.February2016.Design & Elektronik,Haar, Germany,ISBN 978-3-645-50159-0.[pdf][bib]
Bashar Ahmad, Michael Krieger.Benchmarks and Performance Analysis of the LogicGuard Framework. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, June2016.[pdf][bib]
Koustav Banerjee, Atul Dixit.New Representations for $sigma(q)$ via Reciprocity Theorems. In: Analytic Number Theory, Modular Forms and q- Hypergeometric Series, George Andrews, Frank Garvan (ed.), pp. 39-57.2016.978-3-319-68376-8.[url][bib]
Berkovich Alexander, Uncu Ali Kemal.On partitions with fixed number of even-indexed and odd-indexed odd parts.J. Number Theory167, pp. 7-30.2016. ISSN 0022-314X.[doi][bib]
Berkovich A., Kemal Uncu A..New Weighted Partition Theorems with the Emphasis on the Smallest Part of Partitions.ALLADI60 2016: Analytic Number Theory, Modular Forms and q-Hypergeometric Series , pp. -.2016.978-3-319-68375-1.[url][bib]
Bruno Buchberger.Stam's Identities Collection: A Case Study for Math Knowledge Bases. In: Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, Gert-Martin Greuel, Thorsten Koch, Peter Paule and Andrew Sommese (ed.), pp. 437-442.2016.Springer International Publishing,Cham,978-3-319-42432-3.[doi][pdf][bib]
Bruno Buchberger.The GDML and EuKIM Projects: Short Report on the Initiative. In: Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, Gert-Martin Greuel, Thorsten Koch, Peter Paule and Andrew Sommese (ed.), pp. 443-446.2016.Springer International Publishing,Cham,978-3-319-42432-3.[doi][pdf][bib]
Erika Abraham, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, and Thomas Sturm.Satisfiability Checking meets Symbolic Computation (Project Paper).CoRRabs/1607.08028, pp. -.2016.-.[url][pdf][bib]
David M. Cerna, Wolfgang Schreiner, and Temur Kutsia.Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, James H. Davenport and Fadoua Ghourabi (ed.), Proceedings of The 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing39, pp. 29-41.2016.EasyChair,ISSN 2040-557X.[url][pdf][bib]
David M. Cerna and Alexander Leitsch.Schematic Cut Elimination and the Ordered Pigeonhole Principle. In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, Nicola Olivetti and Ashish Tiwari (ed.), Proceedings of IJCAR, Lecture Notes in Computer Science9706, pp. 241-256.June2016.Springer,RISC Institute,0302-9743.[doi][bib]
David M. Cerna and Wolfgang Schreiner, Temur Kutsia.Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yliès Falcone and César Sánchez (ed.), Proceedings of Runtime Verification, pp. 135-151.September2016.Springer International Publishing,978-3-319-46981-2.[doi][pdf][bib]
Dominici Diego.Polynomial sequences associated with the moments of hypergeometric weights.SIGMA Symmetry Integrability Geom. Methods Appl.12, pp. Paper No. 044, 18-P.2016.1815-0659.[doi][bib]
Dominici Diego.Mehler-Heine type formulas for Charlier and Meixner polynomials.Ramanujan J.39(2), pp. 271-289.2016. ISSN 1382-4090.[doi][bib]
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat.Proof-based Synthesis of Sorting Algorithms for Trees. In: Proceedings of LATA 2016, the 10th International Conference on Language and Automata Theory and Applications, Adrian-Horia Dediu, Jan Janousek, Carlos Martin-Vide, Bianca Truthe (ed.), Proceedings of LATA 2016, LNCS9618, pp. 562-575.2016.Springer,ISBN 978-3-319-29999-0.[bib]
Isabela Dramnesc and Tudor Jebelean, Sorin Stratulat.A case study on algorithm discovery from proofs: The insert function on binary trees. In: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2016, Timisoara, Romania, May 12-14, 2016, IEEE (ed.), pp. 231-236.2016.978-1-5090-2380-6.[doi][bib]
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.CLP(H): Constraint Logic Programming for Hedges.Theory and Practice of Logic Programming16(2), pp. 141-162.2016.ISSN 1471-0684.[url][bib]
Mircea Marin, Temur Kutsia, Besik Dundua.A rewrite-based computational model for functional logic programming. In: Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, James H. Davenport (ed.), EPiC Series in Computing39, pp. 95-106.2016.EasyChair,ISSN 2398-7340.[url][bib]
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer.An Overview of PρLog. Technical report no. 16-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr.PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016, M. Carro, A. King, N. Saeedloei, and M. De Vos (ed.), OpenAccess Series in Informatics (OASIcs)52, pp. 10.1-10.5.2016.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,ISBN 978-3-95977-007-1, ISSN 2190-6807.[url][bib]
Christoph Fuerst.Axiomatic Description of Gröbner Reduction. RISC, JKU Linz. PhD Thesis.December2016.[pdf][bib]
Matteo Gallet.Algebraic Geometry methods in Kinematics: Mobile Pods. Johannes Kepler University. PhD Thesis.October2016.[bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous first-order algebraic partial differential equations.Journal of Computational and Applied Mathematics300, pp. 119-133.2016.0377-0427.[doi][bib]
G. Grasegger, N.T. Vo.An Algebraic-Geometric Method for Computing Zolotarev Polynomials. Technical report no. 16-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
G. Grasegger.An Algebraic-Geometric Method for Computing Zolotarev Polynomials — Additional Information. Technical report no. 16-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
G. Grasegger, N.T. Vo, F. Winkler.A decision algorithm for rational general solutions of first-order algebraic ODEs. In: Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016), Universidad de la Rioja, J. Heras and A. Romero (eds.) (ed.), pp. 101-104.2016.978-84-608-9024-9.[bib]
J. Ablinger, J. Behring, J. Blümlein, G. Falcioni, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock.New Results on Massive 3-Loop Wilson Coefficients in Deep-Inelastic Scattering. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein and P. Marquard and T. Riemann (ed.), Proc. of SciencesPoS (LL2016) 065, pp. 1-16.2016.ISSN 1824-8039.arXiv:1609.03397 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C.G. Raab, M. Round, C. Schneider, F. Wißbrock.3-Loop Corrections to the Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: Proceedings of the European Physical Society Conference on High Energy Physics (EPS-HEP), PoS(EPS-HEP2015)504, pp. 1-13.2016.ISSN 1824-8039.arXiv:1602.00583 [hep-ph].[doi][bib]
Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, Alexander Hasselhuhn, Andreas von Manteuffel, Mark Round, Carsten Schneider, Fabian Wißbrock.Heavy flavour corrections to polarised and unpolarised deep-inelastic scattering at 3-loop order. In: Proceedings of the QCD Evolution 2016, PoS(QCDEV2016)052, pp. 1-16.2016.National Institute for Subatomic Physics (Nikhef) in Amsterdam,ISSN 1824-8039.arXiv:1611.01104 [hep-ph].[doi][bib]
Manuel Kauers, Peter Paule, Greg Reid.Workshop on Symbolic Combinatorics and Algorithmic Differential Algebra.ACM Communications in Computer Algebra50(Issue 1), pp. 27-34.March2016.1932-2240.[pdf][bib]
Boris Konev, Temur Kutsia.Anti-Unification of Concepts in Description Logic EL. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Chitta Baral, James P. Delgrande, Frank Wolter (ed.), pp. 227-236.April 25-292016.AAAI Press,Cape Town, South Africa,978-1-57735-755-1.[url][bib]
Brandt Kronholm, Felix Breuer.A Polyhedral Model of Partitions with Bounded Differences and a Bijective Proof of a Theorem of Andrews, Beck, and Robbins.Research in Number Theory, pp. 1-15.March2016.Springer,2363-9555.[bib]
Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Unification of Higher Order Expressions with Recursive Let. Technical report no. 16-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger.Theorema 2.0: Computer-Assisted Natural-Style Mathematics.JFR9(1), pp. 149-185.2016.ISSN 1972-5787.[doi][bib]
A. Maletzky.Mathematical Theory Exploration in Theorema: Reduction Rings. In: Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25-29), Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (ed.), Proceedings of CICM 2016, Lecture Notes in Artificial Intelligence9791, pp. 3-17.July2016.Springer-Verlag,ISBN 978-3-319-42546-7.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42547-4_1. Preprint on arXiv: 1602.04339 [cs.SC].[doi][bib]
A. Maletzky.Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. In: Mathematical Software - ICMS 2016, Gert-Martin Greuel and Peter Paule and Andrew Sommese (ed.), Proceedings of 5th International Congress on Mathematical Software, Berlin, Germany, July 11-14, Lecture Notes in Computer Science9725, pp. 59-66.2016.Springer-Verlag,ISBN 978-3-319-42432-3.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8.[doi][pdf][bib]
A. Maletzky.Computer-Assisted Exploration of Gröbner Bases Theory in Theorema. Technical report no. 16-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2016.PhD thesis.[pdf][bib]
A. Maletzky.Computer-Assisted Exploration of Gröbner Bases Theory in Theorema. RISC, Johannes Kepler University Linz. PhD Thesis.May2016.[bib]
Peter Paule, Cristian-Silviu Radu.A new witness identity for $11|p(11n+6)$. In: Analytic Number Theory, Modular Forms and q-Hypergeometric Series, George E. Andrews, Frank Garvan (ed.), pp. 625-640.2016.Springer, 2194-1009.[pdf][bib]
Peter Paule, Silviu Radu.Partition analysis, modular functions, and computer algebra. In: Recent Trends in Combinatorics, IMA Volume, A. Beveridge, J. R. Griggs, L. Hogben, G. Musiker, P. Tetali (ed.), The IMA Volumes in Mathematics and its Applications159, pp. 511-543.2016.Springer, Cham,978-3-319-24296-5.[doi][pdf][bib]
A. Dixit, V.H. Moll, V. Pillwein.A hypergeometric inequality.Annals of Combinatorics20(1), pp. 65-72.2016.0218-0006.[pdf][bib]
Christoph Koutschan and Martin Neumüller and Cristian-Silviu Radu.Inverse inequality estimates with symbolic computation.Advances in Applied Mathematics80, pp. 1-23.2016.0196-8858.[doi][pdf][bib]
Zijia Li, , J. Schicho, Hans-Peter Schröcker.The rational motion of minimal dual quaternion degree with prescribed trajectory.Comp. Aided Geom. Des.41, pp. 1-9.2016.ISSN: 0167-8396.[doi][bib]
Zijia Li , Josef Schicho, Hans-Peter Schröcker.A survey on the theory of bonds.IMA Journal of Mathematical Control and Information, pp. -.2016.ISSN: 1471-6887.online.[doi][bib]
G. Nawratil, J. Schicho.Duporcq pentapods.J. Mechanisms Robotics9, pp. -.2016.ISSN: 1942-4302.[url][bib]
C. Schneider.A Difference Ring Theory for Symbolic Summation.J. Symb. Comput.72, pp. 82-127.2016.ISSN 0747-7171. arXiv:1408.2776 [cs.SC].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider.Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra.Comput. Phys. Comm.202, pp. 33-112.2016.ISSN 0010-4655.arXiv:1509.08324 [hep-ph].[doi][pdf][bib]
C. Schneider.Symbolic Summation in Difference Rings and Applications. In: Proc. ISSAC 2016, M. Rosenkranz (ed.), pp. 9-12.2016.ISBN 978-1-4503-4380-0/16/07.[doi][pdf][bib]
E.D. Ocansey, C. Schneider.Representation of hypergeometric products in difference rings.ACM Communications in Computer Algebra50(4), pp. 161-163.2016.ISSN 1932-2240 .Extended abstract of the poster presentation at ISSAC 2016.[doi][pdf][bib]
J. Middeke, C. Schneider.Denominator Bounds for Higher Order Systems of Linear Recurrence Equations.ACM Communications in Computer Algebra50(4), pp. 185-187.2016.ISSN 1932-2240.Extended abstract of the poster presentation at ISSAC 2016.[doi][pdf][pdf][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. de Freitas, C. Schneider.Algorithms to solve coupled systems of differential equations in terms of power series. In: Proc. Loops and Legs in Quantum Field Theory - LL 2016, J. Bluemlein, P. Marquard, T. Riemann (ed.) (ed.)PoS(LL2016)005, pp. 1-15.2016.ISSN 1824-8039.arXiv:1608.05376 [cs.SC].[doi][bib]
A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, A. von Manteuffel, C. Schneider.The Asymptotic 3-Loop Heavy Flavor Corrections to the Charged Current Structure Functions $F_L^{W^+-W^-}(x, Q^2)$ and $F_2^{W^+-W^-}(x, Q^2)$.Physical Review D94(11), pp. 1-19.2016.ISSN 1550-2368.arXiv:1609.06255 [hep-ph].[doi][pdf][bib]
Jakob Ablinger, Johannes Bluemlein, Abilio de Freitas, Carsten Schneider.A toolbox to solve coupled systems of differential and difference equations. In: Proc. of the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), Nigel Glover, Daniel Maitre, Ben Pecjak (ed.)PoS(RADCOR2015)060, pp. 1-13.2016.ISSN 1824-8039.arXiv:1601.01856 [cs.SC].[doi][bib]
Adam Toth, Tamas Berczes, Attila Kuki, Bela Almasi, Wolfgang Schreiner, Jinting Wang, Fang Wang.Analysis of Finite-Source Cluster Networks.Creative Mathematics and Informatics25(2), pp. 223-235.2016.SINUS Association,ISSN 1584 - 286X.[bib]
Temur Kutsia, George Rahonis, Wolfgang Schreiner.MK-fuzzy automata. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, May2016.[pdf][bib]
David M. Cerna and Wolfgang Schreiner, Temur Kutsia.Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151.2016.978-3-319-46981-2.[doi][bib]
David M. Cerna and Wolfgang Schreiner and Temur Kutsia.Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151.2016.978-3-319-46981-2.[bib]
Daniela Ritirc.Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Master Thesis.January2016.[pdf][bib]
N. Thieu Vo.Rational and Algebraic Solutions of First-Order Algebraic ODEs. Technical report no. 16-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).122016.Thesis Dissertation.[pdf][bib]
N. Thieu Vo.Rational and Algebraic Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation. PhD Thesis.2016.[pdf][bib]
Xinhua Xiong.Overpartition function modulo 16 and some binary quadratic forms. Technical report no. 5 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).82016.[bib]
Xinhua Xiong.Overpartition function modulo 16 and some binary quadratic forms.International Journal of Number Theory12(5), pp. 1195-1208.2016.ISSN 1793-0421.[bib]
Xinhua Xiong.A positivity conjecture related first positive rank and crank moments for overpartitions. Proc. Japan Acad. Ser. A: Math. Sci., 92 (2016), no. 11,, pp. 117-120.2016.ISSN .[url][bib]
Xinhua Xiong.Small Values of Coefficients of a Half Lerch Sum.arXiv:1605.09508, submitted to journal., pp. 1-10.2016.ISSN.[bib]
Xinhua Xiong.Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities.arXiv:1607.07583, submitted to journal., pp. 1-26.2016.[bib]
2015
Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer.Securing Device Communication by Predicate Logic Specifications. In: embedded world Conference 2015, February 24-26 2015, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -.February2015.Design&Elektronik,Haar, Germany,ISBN 978-3-645-50144-6.[pdf][bib]
Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl.The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2015.Technical Report.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Anti-Unification. RISC. Technical report no. 15-03, April2015.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Anti-Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs), pp. 57-73.2015.ISSN 1868-8969.[pdf][bib]
Alexander Baumgartner.Anti-Unification Algorithms: Design, Analysis, and Implementation. RISC, JKU Linz. PhD Thesis.September2015.[pdf][bib]
Alexander Baumgartner.Anti-Unification Algorithms: Design, Analysis, and Implementation. Technical report no. 15-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2015.PhD Thesis.[pdf][bib]
Berkovich Alexander, Uncu Ali Kemal.A new companion to Capparelli's identities.Adv. in Appl. Math.71, pp. 125-137.2015. ISSN 0196-8858.[doi][bib]
F. Breuer.An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics. In: Computer Algebra and Polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture Notes in Computer Science8942, pp. 1-29.2015.978-3-319-15080-2.[url][bib]
Felix Breuer, Zafeirakis Zafeirakopoulos.Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems. Technical report no. 15-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2015.[pdf][bib]
Felix Breuer, Dennis Eichhorn, Brandt Kronholm.Polyhedral geometry, supercranks, and combinatorial witnesses of congruences for partitions into three parts. Submitted to the RISC Report Series. arXiv ,August2015.[url][pdf][pdf][bib]
Felix Breuer, Brandt Kronholm.A POLYHEDRAL MODEL OF PARTITIONS WITH BOUNDED DIFFERENCES AND A BIJECTIVE PROOF OF A THEOREM OF ANDREWS, BECK, AND ROBBINS. Submitted to the RISC Report Series. arXiv ,May2015.[url][pdf][bib]
Jose Capco.Odd Collatz Sequence and Binary Representations. Submitted to the RISC Report Series. RISC Report ,2015.[pdf][bib]
J. Blümlein, A. De Freitas, C. Schneider.Higher Order Heavy Quark Corrections to Deep-Inelastic Scattering. In: Advances in Computational Particle Physics, J. Blümlein, K. Jansen, M. Krämer, J.H. Kühn (ed.), Proceedings of Final Meeting of DFG SFB-TR-9, Nucl. Phys. B (Proc. Suppl.), pp. 185-201.2015.ISSN 0550-3213.arXiv:1411.5669 [hep-ph].[doi][pdf][bib]
Élie de Panafieu.Phase Transition of Random Non-Uniform Hypergraphs.Journal of Discrete Algorithms, pp. ?-?.2015.????.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat.Theory Exploration of Binary Trees. In: The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics, . (ed.), Proceedings of SISY 2015, pp. 139-144.2015.IEEE Xplore,..[bib]
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat.Combinatorial Techniques for Proof-based Synthesis of Sorting Algorithms. In: SYNASC 2015: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Laura Kovacs (ed.), pp. 137-144.2015.IEEE Computer Society,ISBN 978-0-7695-5742-2.[bib]
Isabela Dramnesc, Tudor Jebelean.Synthesis of list algorithms by mechanical proving.Journal of Symbolic Computation69, pp. 61-92.2015.ISSN 0747-7171.[bib]
Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat.Synthesis of Some Algorithms for Trees: Experiments in Theorema. Technical report no. 15-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.A Case Study in Proof Based Synthesis of Algorithms on Monotone Lists. In: The 10th International Symposium on Applied Computational Intelligence and Informatics, . (ed.), Proceedings of SACI 2015, pp. 483-488.2015.IEEE Xplore,_.[bib]
Besik Dundua, Mario Florido, Temur Kutsia.Lambda Calculus with Regular Types. In: Proceeding of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, , pp. -.2015.To appear.[pdf][bib]
Christoph Fuerst, Guenter Landsmann.Computation of Dimension in Filtered Free Modules by Gröbner Reduction. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM (ed.), Proceedings of ISSAC '15, pp. 181-188.2015.978-1-4503-3435-8.[doi][bib]
Christoph Fuerst, Guenter Landsmann.Three Examples of Gröbner Reduction over Noncommutative Rings. Technical report no. 15-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2015.[pdf][bib]
G. Grasegger, F. Winkler.Symbolic Solutions of First-Order Algebraic ODEs. In: Computer algebra and polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture Notes in Computer Science8942, pp. 94-104.2015.Springer International Publishing,ISSN 0302-9743.[doi][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous first-order algebraic partial differential equations in several variables. Technical report no. 15-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
Georg Grasegger.Symbolic solutions of first-order algebraic differential equations. Johannes Kepler University Linz. PhD Thesis.062015.[url][bib]
N.T. Vo, G. Grasegger, F. Winkler.Rational General Solutions of First-Order Algebraic ODEs. Technical report no. 15-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[bib]
G. Grasegger, N.T. Vo, F. Winkler.Statistical Investigation of First-Order Algebraic ODEs and their Rational General Solutions. Technical report no. 15-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider.3-loop Massive $O(T_F^2)$ Contributions to the DIS Operator Matrix Element $A_{gg}$. In: 17th International Conference in Quantum Chromodynamics (QCD 14), Stephan Narison (ed.), Proceedings of QCD Montpellier Conference, Nucl. Phys. B (Proc. Suppl.)258-259, pp. 37-40.2015.ISSN 0550-3213.arXiv:1409.1435 [hep-ph].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, S. Schneider, F. Wißbrock.3-loop heavy flavor Wilson coefficients in deep-inelastic scattering. In: 17th International Conference in Quantum Chromodynamics (QCD 14), Stephan Narison (ed.), Nucl. Phys. B (Proc. Suppl.)258-259, pp. 41-44.2015.ISSN 0550-3213. arXiv:1409.1804 [hep-ph].[doi][pdf][bib]
A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Schneider.The O(alpha_s^3) Heavy Flavor Contributions to the Charged Current Structure Function xF_3(x, Q^2) at Large Momentum Transfer.Physical Review D92(114005), pp. 1-19.2015.ISSN 1550-2368.arXiv:1508.01449 [hep-ph].[doi][pdf][bib]
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li.An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. arxiv. Technical report no. 1501.04668, 2015.[pdf][bib]
Boris Konev, Temur Kutsia.Anti-Unification of Concepts in Description Logic EL. Technical report no. 15-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
Manuel Kauers, Christoph Koutschan.Integral D-Finite Functions. arxiv. Technical report no. 1501.03691, 2015.[pdf][bib]
Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos.Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs), pp. 241-256.2015.Schloss Dagstuhl,ISSN 1868-8969.[pdf][bib]
Franz Lichtenberger.Making Formal Methods Popular: The Crux is Math Education!. In: Formal Methods in Software Engineering Education Teaching and Training, Andreas Bollin, Tiziana Margaria, Isabelle Perseil (ed.), Proceedings of 1st Workshop on Formal Methods in Software Engeneering Education and Training - FMSEET'15, CEUR Workshop Proceedings1385, pp. 27-34.June2015.Sun SITE Central Europe,RWTH Aachen,ISSN 1613-0073.[url][pdf][bib]
A. Maletzky.Automated Reasoning in Reduction Rings using the Theorema System. In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov (ed.), Proceedings of CASC 2015 (September 14-18, Aachen, Germany), LNCS9301, pp. 305-319.2015.Springer-Verlag Berlin Heidelberg,ISSN 0302-9743.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24021-3_23.[doi][pdf][bib]
A. Maletzky.Exploring Reduction Ring Theory in Theorema. Technical report no. 15-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2015.[pdf][bib]
A. Maletzky.Verifying Buchberger's Algorithm in Reduction Rings. In: Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation, Tudor Jebelean and Dongming Wang (ed.), Proceedings of PAS'2015, Beijing, China, October 21-23, pp. 16-23.October2015.??.arXiv:1604.08736 [cs.SC].[url][bib]
Temur Kutsia, Mircea Marin.Regular Expression Order-Sorted Unification and Matching.Journal of Symbolic Computation67, pp. 42-67.2015.ISSN 0747-7171.[doi][pdf][bib]
G. Nikolov, V. Pillwein.An extension of Turan's inequality for ultraspherical polynomials.Mathematical Inequalities & Applications18(1), pp. 321-335.2015.[pdf][bib]
A. Alexandrov, H. Dietert, G. Nikolov, V. Pillwein.Proof of a conjecture of M. Patrick concerning Jacobi polynomials .Journal of Mathematical Analysis and Applications428(2), pp. 750-761.2015.[bib]
V. Pillwein.Symbolic Computation and Finite Element Methods.. In: CASC 2015, V.P. Gerdt, W. Koepf, W.M. Seiler, and E.V. Vorozhtsov (ed.), LNCS9301, pp. 374-388.2015.Springer-Verlag Berlin Heidelberg,0302-9743.[pdf][bib]
Cristian-Silviu Radu.A note on a problem proposed by Kim and Lisonek. In: Computer Algebra and Polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture notes in Computer Science8942, pp. 151-156.2015.Springer, Cham, 978-3-319-15080-2.[doi][bib]
CRISTIAN-SILVIU RADU.An algorithmic approach to Ramanujan-Kolberg identities.Journal of Symbolic Computation68(1), pp. 225-253.2015.0747-7171.[doi][pdf][bib]
Angelos Mantzaflaris, Hamid Rahkooy, Zafeirakis Zafeirakopoulos.Efficient Computation of Multiplicity and Directional Multiplicity of an Isolated Point. Technical report no. 15-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
H. Rahkooy.Dual Space Algorithms for Computing Multiplicity Structure of Isolated Points. RISC, JKU Linz. PhD Thesis.July2015.[bib]
Josef Schicho, Matteo Gallet.Ambiguities in a Problem in Planar Geodesy.SIGMA(008), pp. 1-13.2015.1815-0659.[url][bib]
G. Hegedüs, Z. Li, J. Schicho, H.-P. Schroecker.The theory of bonds II: closed 6R linkages with maximal genus.J. Symb. Comp.68, pp. 167-180.2015.0747-7171.[bib]
H. Ahmadinezhad, Z. Li, J. Schicho.An algebraic study of linkages with helical joints.J. Pure and Appl. Algebra219, pp. 2245-2259.2015.0022-4049.[bib]
G. Nawratil, J. Schicho.Pentapods with Mobility 2.ASME Journnal of Mechanasms and RoboticsJ. Mechanisms Robotics, pp. -.2015.1942-4302.[bib]
Z. Li, J. Schicho.A technique for deriving equational conditions on the Denavit-Hartenberg parameters of a 6R linkage that are necessary for movability.Mech. Mach. Theory94, pp. 1-8.2015.0094-114X.[bib]
Z. Li, J. Schicho, H.-P. Schroecker.Spatial straight-line linkages by factorization of motion polynomials.J. Mechanisms Robotics, pp. -.2015.1942-4302.[bib]
Z. Li, , J. Schicho, H.-P. Schroecker.7R Darboux Linkages by Factorication of Motion Polynomials. In: Proc. IFToMM 14, S.-H. Chang et al (ed.), pp. 841-847.2015.978-986-04-6098-8.[bib]
Z. Li, , T. Rad, J. Schicho, H.-P. Schroecker.Factorization of Rational Motions: A Survey with Examples and Applications. In: Proc. IFToMM 14, S.-H. Chang et al. (ed.), pp. 833-840.2015.ISBN 978-986-04-6098-8.[bib]
C. Schneider.Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. In: Computer Algebra and Polynomials, Applications of Algebra and Number Theory, Jaime Gutierrez, Josef Schicho, Martin Weimann (ed.), Lecture Notes in Computer Science (LNCS)8942, pp. 157-191.2015.Springer,ISSN: 0302-9743 .arXiv:1307.7887 [cs.SC].[doi][pdf][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider.The 3-Loop Pure Singlet Heavy Flavor Contributions to the Structure Function $F_2(x, Q^2)$ and the Anomalous Dimension.Nuclear Physics B890, pp. 48-151.2015.ISSN 0550-3213.arXiv:1409.1135 [hep-ph].[doi][bib]
A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider.The 3-Loop Non-Singlet Heavy Flavor Contributions to the Structure Function g_1(x, Q^2) at Large Momentum Transfer.Nucl. Phys. B897, pp. 612-644.2015.ISSN 0550-3213..arXiv:1504.08217 [hep-ph].[doi][bib]
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.Modeling RF Communication in Sensor Networks by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. 15-21, October2015.[pdf][bib]
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2015.[pdf][bib]
V. Pillwein, M. Schussler.An efficient procedure deciding positivity for a class of holonomic sequences.ACM Communications in Computer Algebra49(3), pp. 90-93.2015.Extended abstract of the poster presentation at ISSAC 2015.[pdf][bib]
A. Lastra, J.R. Sendra, L.X.C. Ngô, F. Winkler.Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one.Publ.Math.Debrecen(86/1-2), pp. 49-69.2015.0033-3883.[bib]
L.X.C. Ngô, J.R. Sendra, F. Winkler.Birational transformations preserving rational solutions of algebraic ordinary differential equations.J. Computational and Applied Mathematics(286), pp. 114-127.2015.0377-0427.[bib]
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi.An overpartition analogue of Bressoud’s theorem of Rogers-Ramanujan type.The Ramanujan Journal36(1), pp. 69-80.2015.1382-4090.[bib]
N. T. Vo, F. Winkler.Algebraic General Solutions of First Order Algebraic ODEs. In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt et. al. (ed.), Lecture Notes in Computer Science9301, pp. 479-492.2015.Springer International Publishing,ISSN 0302-9743.[url][bib]
Manuela Wiesinger-Widi.Gröbner Bases and Generalized Sylvester Matrices. Johannes Kepler University Linz. PhD Thesis.072015.[url][bib]
Manuela Wiesinger-Widi.Gröbner Bases and Generalized Sylvester Matrices. Technical report no. 15-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.PhD Thesis.[bib]
2014
J. Ablinger.The package HarmonicSums: Computer Algebra and Analytic aspects of Nested Sums. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), pp. 1-10.2014.ISSN 1824-8039.[url][bib]
Wolfgang Schreiner, Temur Kutsia, Michael Krieger, Ahmad Bashar, Helmut Otto, Martin Rummerstorfer.Monitoring Network Traffic by Predicate Logic. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2014.[pdf][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification. RISC, JKU Linz. Technical report no. 14-05, March2014.[pdf][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification. In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 , Ulrich Kohlenbach (ed.), Lecture Notes in Computer Science8652, pp. 66- 80.2014.Springer,ISBN 978-3-662-44144-2.[pdf][bib]
Alexander Baumgartner, Temur Kutsia.A Library of Anti-Unification Algorithms. Technical report no. 14-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2014.[url][pdf][bib]
Alexander Baumgartner, Temur Kutsia.A library of anti-unification algorithms. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Eduardo Ferme and Joao Leite (ed.), Lecture Notes in Computer Science, pp. 543-557.2014.Springer,ISBN 978-3-319-11557-3.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal anti-unification. In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Temur Kutsia, Christophe Ringeissen (ed.), pp. 62-68.2014.[pdf][bib]
M. Beck, F. Breuer, L. Godkin, J. L. Martin.Enumerating Colorings, Tensions and Flows in Cell Complexes.Journal of Combinatorial Theory, Series A122(4), pp. 82-106.2014.0097-3165.[doi][bib]
David M. Cerna.A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. In: Intelligent Computer Mathematics - International Conference, {CICM} 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban (ed.), Proceedings of CICM, pp. 61-75.2014.10.1007/978-3-319-08434-3\_6.[bib]
Élie de Panafieu, Vlady Ravelomanana.Analytic Description of the Phase Transition of Inhomogeneous Multigraphs.European Journal of Combinatorics, pp. -.2014.Elsevier,????.[pdf][bib]
Dominici Diego, Van Assche Walter.Zero distribution of polynomials satisfying a differential-difference equation.Anal. Appl. (Singap.)12(6), pp. 635-666.2014. ISSN 0219-5305.[doi][bib]
Dominici Diego, Marcell'an Francisco.Discrete semiclassical orthogonal polynomials of class one.Pacific J. Math.268(2), pp. 389-411.2014. ISSN 0030-8730.[doi][bib]
Isabela Dramnesc, Tudor Jebelean.Theory Exploration of Sets Represented as Monotone Lists. In: Proceedings of SISY 2014 IEEE 12th International Symposium on Intelligent Systems and Informatics, IEEE Xplore (ed.), pp. 163-168.2014. ..[bib]
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.Constraint Logic Programming for Hedges: A Semantic Reconstruction. Technical report no. 14-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin.Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: Proceedings of the Twelfth International Symposium on Functional and Logic Programming, FLOPS 2014, Michael Codish and Eijiro Sumii (ed.), LNCS8475, pp. 285-301.2014.Springer,ISBN 978-3-319-07150-3.[pdf][bib]
Christoph Fuerst, Guenter Landsmann.The Concept of Gröbner Reduction for Dimension in filtered free modules. Technical report no. 14-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2014.[pdf][bib]
G. Grasegger, G. Horváth, K.A. Kearnes.Polynomial Equivalence of Finite Rings.Journal of the Australian Mathematical Society96(2), pp. 244-257.2014.1446-8107.[url][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous fi rst-order algebraic partial di fferential equations. Technical report no. 14-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
G. Grasegger.Radical Solutions of First Order Autonomous Algebraic Ordinary Differential Equations. In: ISSAC '14: Proceedings of the 39th International Symposium on International Symposium on Symbolic and Algebraic Computation, Katsusuke Nabeshima (ed.), pp. 217-223.2014.ACM,New York,ISBN 978-1-4503-2501-1.[pdf][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.On Symbolic Solutions of Algebraic Partial Diff erential Equations. In: Computer Algebra in Scientific Computing, V.P. Gerdt et al. (ed.), Lecture Notes in Computer Science8660, pp. 111-120.2014.Springer International Publishing,ISSN 0302-9743.[url][bib]
A. Behring, J. Bluemlein, A. De Freitas, T. Pfoh, C. Raab, M. Round, J. Ablinger, A. Hasselhuhn, C. Schneider, F. Wissbrock, A. von Manteuffel.New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering. In: Proc. of RADCOR, , PoS(RADCOR 2013)058, pp. 1-21.2014.ISSN 1824-8039.arXiv:1312.0124 [hep-ph].[doi][bib]
J. Ablinger, J. Bluemlein, A. De Freitas A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock.The Transition Matrix Element $A_{gq}(N)$ of the Variable Flavor Number Scheme at $O(\alpha_s^3)$.Nuclear Physics B882, pp. 263-288.2014.ISSN: 0550-3213.arXiv:1402.0359 [hep-ph].[doi][bib]
Blümlein Johannes, Hasselhuhn Alexander, Pfoh Torsten.The $O(alpha_s^2)$ heavy quark corrections to charged current deep-inelastic scattering at large virtualities.Nucl.Phys.B881, pp. 1-41.2014.ISSN: 0550-3213.arXiv:1401.4352.[bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider.The $O(alpha_s^3 T_F^2)$ Contributions to the Gluonic Operator Matrix Element.Nuclear Physics B885, pp. 280-317.2014.ISSN: 0550-3213. arXiv:1405.4259 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wissbrock. The 3-Loop Non-Singlet Heavy Flavor Contributions and Anomalous Dimensions for thE Structure Function $F_2(x, Q^2)$ and Transversity.Nuclear Physics B886, pp. 733-823.2014.ISSN: 0550-3213.arXiv:1406.4654 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock.3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering with Two Heavy Quark Lines. In: Proceedings of Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)015, pp. 1-10.2014.ISSN 1824-8039.arXiv:1407.2821 [hep-ph].[doi][bib]
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, C. Schneider, F. Wißbrock.Recent progress on the calculation of three-loop heavy flavor Wilson coefficients in deep-inelastic scattering. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)041, pp. 1-11.2014.ISSN 1824-8039.arXiv:1407.3638 [hep-ph].[doi][bib]
Maximilian Jaroschek.Radicals of Ore Polynomials. In: Proceedings of EACA 2014, , pp. -.2014.to appear.[pdf][bib]
F. Johansson.Fast and rigorous computation of special functions to high precision. RISC. PhD Thesis.2014.[pdf][bib]
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson.Ore Polynomials in Sage. In: Computer Algebra and Polynomials, Jaime Gutierrez, Josef Schicho, Martin Weimann (ed.), Lecture Notes in Computer Science, pp. ?-?.2014.tba.[ps][pdf][bib]
Fredrik Johansson, Brian Nakamura.Using functional equations to enumerate 1324-avoiding permutations.Advances in Applied Mathematics56(0), pp. 20 - 34.2014.ISSN 0196-8858.[url][bib]
Manuel Kauers, Ryan ODonnell, Li-Yang Tan, Yuan Zhou.Hypercontractive inequalities via SOS, and the Frankl-R\"odl graph. In: Proceedings of SODA'14, tba (ed.), pp. ?-?.2014.tba.[pdf][bib]
Manuel Kauers, Lily Yen.On the length of integers in telescopers for proper hypergeometric terms.Journal of Symbolic Computation, pp. ?-?.2014.ISSN 0747-7171.to appear.[ps][pdf][bib]
Manuel Kauers.Computer Algebra. In: Handbook of Combinatorics, Miklos Bona (ed.), pp. ?-?.2014.Taylor and Francis,tba.[bib]
Manuel Kauers.Bounds for D-Finite Closure Properties. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 288-295.2014.isbn 978-1-4503-2501-1/14/07.[pdf][bib]
Manuel Kauers.Bounds for D-Finite Closure Properties. arxiv. Technical report no. 1408.5514, 2014.[pdf][bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer.Desingularization of Ore Operators. arxiv. Technical report no. 1408.5512, 2014.[pdf][bib]
Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer.On 3-dimensional lattice walks confined to the positive octant. Arxiv. Technical report no. 1409.3669, 2014.[pdf][bib]
M. Kauers, R. Yatchak.Walks in the Quarter Plane with Multiple Steps. RISC. Technical report, arXiv:1411.3537, November2014.[url][bib]
Alin Bostan, Mireille Bousquet-Melou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant.Annals of Combinatorics, pp. ??-??.2014.ISSN 0218-0006.to appear.[pdf][bib]
Muhammad Taimoor Khan.On the Soundness of the Translation of MiniMaple to Why3ML. Technical report no. 14-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2014.[pdf][bib]
Muhammad Taimoor Khan.Formal Specification and Verification of Computer Algebra Software. Technical report no. 14-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).PhD Thesis,April2014.[pdf][bib]
Christoph Koutschan, Peter Paule, Sergei K. Suslov.Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. In: Algebraic and Algorithmic Aspects of Differential and Integral Operators, Moulay Barkatou and Thomas Cluzeau and Georg Regensburger and Markus Rosenkranz (ed.), Lecture Notes in Computer Science8372, pp. 135-145.2014.Springer,Berlin Heidelberg,ISBN 978-3-642-54478-1.[pdf][bib]
Shaoshi Chen, Manuel Kauers, Christoph Koutschan.A Generalized Apagodu-Zeilberger Algorithm. In: Proceedings of ISSAC 2014, Katsusuke Nabeshima (ed.), pp. 107-114.2014.ISBN 978-1-4503-2501-1.[pdf][bib]
Bashar Ahmad and Michael Krieger.LogicGuard Type System. RISC Software GmbH, Unit Advanced Computing Technologies, Hagenberg, Austria. Technical report, February2014.[pdf][bib]
B. Kronholm, A. Larsen.Symmetry and Prime Divisibility Properties of Partitions of $n$ into Exactly $m$ Parts.Annals of Combinatorics, pp. -.March2014.Springer Basel,Basel, Switzerland,ISSN 0218-0006.[url][pdf][bib]
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning52(2), pp. 155-190.2014.ISSN 0168-7433.[doi][bib]
Temur Kutsia, Christophe Ringeissen.Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[url][pdf][bib]
Temur Kutsia, Andrei Voronkov (eds.).Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers. Technical report no. 14-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[url][pdf][bib]
A. Maletzky, B. Buchberger.Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science8592, pp. 41-48.2014.Springer Berlin Heidelberg,ISBN 978-3-662-44198-5.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8.[doi][pdf][bib]
B. Buchberger, A. Maletzky.Groebner Bases in Theorema. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science8592, pp. 374-381.2014.Springer Berlin Heidelberg,ISBN 978-3-662-44198-5.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58.[doi][pdf][bib]
A. Maletzky, B. Buchberger.Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. Technical report no. 14-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2014.[zip][bib]
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller.Comparison between binary and decimal floating-point numbers. HAL. Technical report no. hal-01021928, 2014.[url][bib]
Alexandre Benoit, Mioara Joldeș, Marc Mezzarobba.Rigorous Uniform Approximation of D-finite Functions Using Chebyshev Expansions. HAL. Technical report no. hal-01022420, 2014.[url][bib]
I. Moale, V. Pillwein.A note on uniform approximation of functions having a double pole.LMS J. Comput. Math.17(1), pp. 233-244.2014.[pdf][bib]
J. Ablinger, J. Blümlein, C. Raab, C. Schneider, F. Wissbrock.Calculating Massive 3-loop Graphs for Operator Matrix Elements by the Method of Hyperlogarithms.Nuclear Physics B885, pp. 409-447.2014.ISSN: 0550-3213. arXiv:1403.1137 [hep-ph].[doi][bib]
J. Ablinger, J. Blümlein, C.G. Raab, C. Schneider.Iterated Binomial Sums and their Associated Iterated Integrals.J. Math. Phys.55(112301), pp. 1-57.2014.ISSN 0022-2488.arXiv:1407.1822 [hep-th].[doi][bib]
J. Ablinger, J. Blümlein, C G. Raab, C. Schneider.Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)020, pp. 1-13.2014.ISSN 1824-8039.arXiv:1407.4721 [hep-th].[doi][bib]
J. Blümlein, I. Dubovyk, J. Gluza, M. Ochman, C.G. Raab, T. Riemann, C. Schneider.Non-planar Feynman integrals, Mellin-Barnes representations, multiple sums. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)52, pp. 1-14.2014.ISSN 1824-8039.arXiv:1407.7832 [hep-ph].[doi][bib]
J. Schicho.A simplified game for resolution of singularities. In: The Resolution of Singular Algebraic Varieties, D. Ellwood and H. Hauser and S. Mori and J. Schicho (ed.), pp. 209-224.2014.Amer. Math. Soc.,ISBN 978-0-8218-8982-4.[bib]
M. Gallet, G. Nawratil, J. Schicho.Bond theory for pentapods and hexapods.Journal of Geometry, pp. 1-18.2014.0047-2468.online first.[doi][pdf][bib]
M. Gallet, G. Nawratil, J. Schicho.Moebius photogrammetry.Journal of Geometry, pp. 1-19.2014.1420-8997.[doi][pdf][bib]
J. Schicho, J. Top.Algebraic approaches to FlipIt. In: The Resolution of Singular Algebraic Varieties, D. Ellwood and H. Hauser and S. Mori and J. Schicho (ed.), pp. 319-326.2014.Amer. Math. Soc.,ISBN 978-0-8218-8982-4.[bib]
S. Di Rocco, J. Schicho.Foreword to the Special Issue on Computational Algebraic Geometry.Math. Comp. Sci.8, pp. 117-118.2014. ISSN: 1661-8270.[bib]
Z. Li, J. Schicho F. Thomas and A. P. Gracia.Three types of parallel linkages. In: Computational Kinematics, F. Thomas and A. P. Gracia (ed.), pp. 111-120.2014.Springer,ISBN: 978-94-007-7213-7.[bib]
J. Ablinger, J. Bluemlein, C. Schneider.Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers. In: Proc. ACAT 2013, , J. Phys.: Conf. Ser523/012060, pp. 1-10.2014. ISSN 1742-6596. arXiv:1310.5645 [math-ph].[doi][bib]
A. De Freitas, J. Blümlein, C. Schneider.Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations. In: Loops and Legs in Quantum Field Theory - LL 2014, J. Bluemlein, P. Marquard, T. Riemann (ed.), PoS(LL2014)017, pp. 1-13.2014.ISSN 1824-8039. arXiv:1407.2537 [cs.SC].[doi][bib]
C. Schneider.A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem. In: Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 15th International Symposium, Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen Watt, Daniela Zaharie (ed.), pp. 26-33.2014.IEEE Computer Society,ISBN-13:978-1-4799-8448-0. arXiv:1412.2782v1 [cs.SC].[doi][pdf][bib]
C. Schneider.Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages {S}igma, {EvaluateMultiSums} and {SumProduction}. In: Proc. ACAT 2013, - (ed.), J. Phys.: Conf. Ser.523, pp. 1-17.2014.ISSN 1742-6596.arXiv:1310.0160 [cs.SC].[doi][bib]
Temur Kutsia, Wolfgang Schreiner.Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version) . Technical report no. 14-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik.Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks.Annales Mathematicae et Informaticae43, pp. 123-144.2014.Líceum University Press,ISSN 1787-5021, ISSN 1787-6117.[bib]
Wolfgang Schreiner, Tamas Berczes, Adam Toth.Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2014.[pdf][bib]
Wolfgang Schreiner.Some Lessons Learned on Writing Predicate Logic Proofs in Isabelle/Isar. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2014.[pdf][bib]
Wolfgang Schreiner, Tamas Berczes, Adam Toth.Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December2014.[pdf][bib]
J. Schicho, D. Sevilla.Tschirnhaus-Weierstrass curves.Math. Comp.83, pp. 3005-3015.2014. ISSN 0025-5718.[bib]
Thomas Ponweiser.Computer Algebra and Analysis: Complex Variables Visualized. RISC Institute, JKU Linz, Austria. Diploma Thesis.2014.[pdf][bib]
V. Pillwein, S. Takacs.A local Fourier convergence analysis of a multigrid method using symbolic computation.Journal of Symbolic Computation63, pp. 1-20.2014.ISSN:0747-7171 .[pdf][bib]
W. Windsteiger.Theorema 2.0: A System for Mathematical Theory Exploration. In: Proceedings International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-8, 2014, Chee Yap and Hoon Hong (ed.), Proceedings of International Congress on Mathematical Software (ICMS'2014), Lecture Notes in Computer Science (LNCS)8592, pp. 49-52.2014.ISBN 978-3-662-44198-5.[url][pdf][bib]
Winkler Franz.Algebraic differential equations - Rational solutions and beyond.Southeast Asian Bulletin of Mathematics(38), pp. 153-162.2014.0129-2021.[bib]
Ardila Federico, Baker Tia, Yatchak Rika.Moving robots efficiently using the combinatorics of CAT(0) cubical complexes.SIAM J. Discrete Math.28(2), pp. 986-1007.2014. ISSN 0895-4801.[doi][bib]
2013
J. Ablinger, J. Bluemlein.Harmonic Sums, Polylogarithms, Special Numbers, and Their Generalizations. In: Computer Algebra in Quantum Field Theory, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation, pp. 1-32.2013.Springer,ISBN-13: 978-3709116159.[bib]
Ainhoa Aparicio Monforte, Manuel Kauers.Formal Laurent Series in Several Variables.Expositiones Mathematicae31(4), pp. 350-367.2013.ISSN 0723-0869.[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.A Variant of Higher-Order Anti-Unification. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Femke van Raamsdonk (ed.), Leibniz International Proceedings in Informatics21, pp. 113-127.2013.ISBN 978-3-939897-53-8, ISSN 1868-8969.[url][bib]
Alexander Baumgartner, Temur Kutsia.Unranked Anti-Unification with Hedge and Context Variables. In: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Barbara Morawska, Konstantin Korovin (ed.), pp. 13-21.2013.[url][bib]
Christian Dönch.Characterization of relative Gröbner bases.Journal of Symbolic Computation55, pp. 19-29.2013.0747-7171.[bib]
Dominici D., Johnston S. J., Jordaan K..Real zeros of $_2F_1$ hypergeometric polynomials.J. Comput. Appl. Math.247, pp. 152-161.2013. ISSN 0377-0427.[doi][bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.A Confluent Pattern Calculus with Hedge Variables. In: Proceedings of the 2nd International Workshop on Confluence, IWC 2013, Nao Hirokawa, Vincent van Oostrom (ed.), pp. 41-45.2013.[url][bib]
Georg Grasegger.A procedure for solving autonomous AODEs. Technical report no. 13-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2013.[pdf][bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock.New Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: Proceedings of the 36th International Conference on High Energy Physics, PoS(ICHEP2012)270, pp. 1-9.2013. ISSN 1824-8039.arXiv:1212.5950 [hep-ph].[doi][bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Raab, M. Round, C. Schneider, F. Wissbrock.Recent Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. In: XXI International Workshop on Deep-Inelastic Scattering and Related Subjects - DIS2013, PoS(DIS 2013)301, pp. 1-8.2013.ISSN 1824-8039.arXiv:1307.7548 [hep-ph].[doi][bib]
Alexander Hasselhuhn.3-loop contributions to heavy flavor Wilson coefficients of neutral and charged current DIS. TU Dortmund University. PhD Thesis.2013.[url][bib]
M. Erascu, H. Hong.The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Journal of Reliable Computing18, pp. 73-81.2013.1573-1340.[pdf][bib]
Maximilian Jaroschek, Manuel Kauers, Shaoshi Chen, Michael F. Singer.Desingularization Explains Order-Degree Curves for Ore Operators. ArXiv. Technical report no. 1301.0917, 2013.[ps][pdf][bib]
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer.Desingularization Explains Order-Degree Curves for Ore Operators. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 157-164.2013.isbn 978-1-4503-2059-7/13/06.[ps][pdf][bib]
Maximilian Jaroschek.Improved Polynomial Remainder Sequences for Ore Polynomials.Journal of Symbolic Computation58, pp. 64-76.2013.ISSN 0747-7171.[url][bib]
Maximilian Jaroschek.Removable Singularities of Ore Operators. RISC. PhD Thesis.November2013.[pdf][bib]
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba.Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ArXiv. Technical report no. 1301.2486, 2013.[pdf][bib]
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba.Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. In: Proceedings of ISSAC'13, Manuel Kauers (ed.), pp. 211-218.2013.isbn 978-1-4503-2059-7/13/06.[ps][pdf][bib]
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson.Ore Polynomials in Sage. ArXiv. Technical report no. 1306.4263, 2013.[pdf][bib]
Fredrik Johansson.Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. arxiv. Technical report no. 1309.2877, 2013.[pdf][bib]
Fredrik Johansson.Evaluating parametric holonomic sequences using rectangular splitting. arxiv. Technical report no. 1310.3741, 2013.[url][pdf][bib]
Richard P. Brent, Fredrik Johansson.A bound for the error term in the Brent-McMillan algorithm. arxiv. Technical report no. 1312.0039, 2013.[url][pdf][bib]
Manuel Kauers.The Holonomic Toolbox. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Johannes Bluemlein and Carsten Schneider (ed.), pp. ??-??.2013.Springer,tba.to appear.[pdf][bib]
Manuel Kauers and Lily Yen.On the length of integers in telescopers for proper hypergeometric terms. ArXiv. Technical report no. 1311.3720, 2013.[pdf][bib]
Muhammad Taimoor Khan.Translation of MiniMaple to Why3ML. Technical report no. 13-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2013.[pdf][bib]
Muhammad Taimoor Khan.On the Formal Verification of Maple Programs. Technical report no. 13-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2013.[pdf][bib]
Christoph Koutschan, Thotsaporn Thanatipanonda.Advanced Computer Algebra for Determinants.Annals of Combinatorics17(3), pp. 509-523.2013.ISSN 0218-0006.[url][pdf][bib]
Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda.Harmonic interpolation based on Radon projections along the sides of regular polygons.Central European Journal of Mathematics11(4), pp. 609-620.2013.ISSN 1895-1074.[pdf][bib]
Laura Kovacs, Temur Kutsia (ed.).Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013. Technical report no. 13-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2013.[pdf][bib]
B. Kronholm.Generalized Congruence Properties of the Restricted Partition Function p(n, m).The Ramanujan Journal30(3), pp. 425-436.2013.1572-9303.[url][bib]
Janos Sztrik, Wolfgang Schreiner, Tamas Berczes, Gabor Kusper, Nikolaj Popov.Project "85öu8": Final Report - Evaluating Process Algebra Models versus State-oriented Models for the Performance Analysis of Real-time Systems and Software Designs. Technical report no. 13-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2013.[bib]
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper.A Case Study on Exploring the Performance Limits of PRISM. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2013.[pdf][bib]
A. Maletzky.Efficient Rewriting by Object Reuse and Compiling. Research Institute for Symbolic Computation (RISC), Johannes Kepler University of Linz. Technical report no. 13-05, 2013.Master's Thesis.[pdf][bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of higher order algebraic ODEs.J. Systems Science and Complexity (JSSC)26/2, pp. 261-280.2013.1009-6124.[bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of trivariate rational systems of autonomous ODEs.Mathematics in Computer Science6/4, pp. 361-374.2013.1661-8270.[bib]
Peter Paule, Sergei K. Suslov.Relativistic Coulomb Integrals and Zeilbergers Holonomic Systems Approach. I.. In: Computer Algebra in Quantum Field Theory, Texts and Monographs in Symbolic Computation, Springer, 2013, Carsten Schneider, Johannes Blümlein (ed.), pp. 225-241.2013.Springer,978-3-7091-1615-9.[bib]
Peter Paule.Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift.1st edition,2013.Springer,978-3-319-00965-0.[bib]
S. Beuchler and V. Pillwein and S. Zaglmayr.Sparsity optimized high order finite element functions for H(curl) on tetrahedra.Advances in Applied Mathematics50, pp. 749-769.2013.[doi][pdf][bib]
V. Pillwein.Termination Conditions for Positivity Proving Procedures. In: Proceedings of ISSAC'13, M. Kauers (ed.), pp. 315-322.2013.isbn 978-1-4503-2059-7/13/06.[pdf][bib]
Cristian-Silviu Radu.Proof of a conjecture by Ahlgren and Ono on the non-existence of certain partition congruences.Transactions of the American Mathematical Society365, pp. 4881-4894.2013.1088-6850(e), 0002-9947(p) .[doi][pdf][bib]
Cristian-Silviu Rand, James Sellers.An extensive analysis of the parity of broken 3-diamond partitions. Journal of Number Theory 133(11), pp. 3703-3716.2013.0022-314X.[doi][pdf][bib]
Hamid Rahkooy, Zafeirakis Zafeirakopoulos.On Computing Elimination Ideals Using Resultants with Applications to Groebner Bases. Research Institute for Symbolic Computations, Doctoral College Computational Mathematics. Technical report, 2013.[url][bib]
M. Hodorog, J. Schicho.A Regularization Approach for Estimating the Type of a plane Curve Singularity.Theor. Comp. Sci.479, pp. 99-119.2013.0304-3975.[bib]
A. Dickenstein, S. Di Rocco, E. Hubert, J. Schicho (eds.).Effective Methods in Algebraic Geometry.J. Symb. Comp.151, pp. 1-114.2013.0747-7171.[bib]
G. Hegedüs, J. Schicho, H.-P. Schröcker.Factorization of Rational Curves in the Study Quadric and Revolute Linkages.Mech. Mach. Theory69(1), pp. 142-152.2013.0094-114X.[bib]
G. Hegedüs, J. Schicho, H.-P. Schröcker.The Theory of Bonds: A New Method for the Analysis of Linkages.Mech. Mach. Theory70, pp. 404-424.2013.0094-114X.[bib]
Z. Li, J. Schicho.Classification of angle-symmetric 6R linkages.Mech. Mach. Theory70, pp. 372-379.2013.0094-114X.[bib]
J. Schicho, F.-O. Schreyer, M. Weimann.Computational aspects of gonal maps.AAECC24, pp. 313-341.2013.0938-1279 .[bib]
J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider.The $O(α_s^3 n_f T_F^2 C_{A, F})$} Contributions to the Gluonic Massive Operator Matrix Elements.Nuclear Physics B(866), pp. 196-211.2013.ISSN: 0550-3213.arXiv:1205.4184 [hep-ph].[doi][pdf][bib]
J. Ablinger, J. Bluemlein, C. Schneider.Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms.J. Math. Phys.54(082301), pp. 1-74.2013.ISSN 0022-2488.arXiv:1302.0378 [math-ph].[doi][pdf][bib]
C. Schneider.Simplifying Multiple Sums in Difference Fields. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation, pp. 325-360.2013.Springer,ISBN-13: 978-3709116159.arXiv:1304.4134 [cs.SC].[doi][pdf][bib]
J. Bluemlein, T. Riemann, C. Schneider.Precision Calculations, Algebraic Summation and Integration - Towards the Mathematical Structure of the Microcosm. In: Annual report 2012 of the particle and astroparticle physics division at DESY, - (ed.), pp. 90-91.2013.Deutsches Elektronen Synchrotron (DESY),-.[url][bib]
C. Schneider.Symbolic Summation in Difference Fields and Its Application in Particle Physics.Computer Algebra Rundbrief53, pp. 8-12.2013.ISSN 0933-5994.[url][bib]
Wolfgang Schreiner.Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 92013.[pdf][bib]
Wolfgang Schreiner.Experiments with Measuring Time in PRISM 4.0. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March2013.Technical Report.[pdf][bib]
Wolfgang Schreiner.Experiments with Measuring Time in PRISM 4.0 (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April2013.[pdf][bib]
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner.Program Algebras with Monotone Floyd-Hoare Composition. In: ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer 2013, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir Peschanenko (ed.), Proceedings of ICTERI 2013: 9th International Conference, Kherson, Ukraine, CEUR-WS.org CEUR Workshop Proceedings1000, pp. 533-549.June 19-222013.CEUR-WS.org,ISSN 1613-0073.[pdf][bib]
Wolfgang Schreiner, Nikolaj Popov, Tamas Berczes, Janos Sztrik, Gabor Kusper.Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, July2013.[pdf][bib]
Wolfgang Schreiner and Tamas Berczes and Janos Sztrik.Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September2013.[pdf][bib]
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner.Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. In: ICTERI 2013: 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers, Vadim Ermolayev et al (ed.), Communications in Computer and Information Science, pp. 0-23.2013.Springer,Berlin,ISBN 978-3-319-03997-8 (Print) 978-3-319-03998-5 (Online).[pdf][bib]
Temur Kutsia, Wolfgang Schreiner.Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 162013.[pdf][bib]
Wolfgang Schreiner, Temur Kutsia.A Resource Analysis for LogicGuard Monitors. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 172013.[pdf][bib]
CRISTIAN-SILVIU RADU, JAMES SELLERS.Congruences modulo squares of primes for Fu's k dots bracelet partitions. International Journal of Number Theory9(4), pp. 939-943.2013.World Scientific, 1793-0421.[doi][pdf][bib]
CRISTIAN-SILVIU RADU, JAMES SELLERS.Infinitely many congruences for broken 2-diamond partitions modulo 3.Journal of Combinatorics and Number Theory4(3), pp. 195-200.2013.Nova Science Publishers,1942-5600.[pdf][bib]
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi. The Rogers-Ramanujan-Gordon theorem for overpartitions.Proceedings of the London Mathematical Society106(3), pp. 1371-1393.2013.0024-6115.[bib]
S. El Bedewy.Gesture-Based Browsing of Mathematics. Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz. Master Thesis.2013.[pdf][bib]
Manfred Kerber, Christoph Lange, Colin Rowat and Wolfgang Windsteiger.Developing an Auction Theory Toolbox. In: AISB 2013, Manfred Kerber, Christoph Lange, Colin Rowat (ed.), pp. 1-4.2013.no ISSN.proceedings available online.[url][pdf][bib]
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger.A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. In: Conference on Intelligent Computer Mathematics (CICM 2013), Jacques Carette (ed.), Lecture Notes in Artificial Intelligence (LNAI)7961, pp. 200-215.2013.Springer,ISBN 978-3-642-39319-8.[pdf][bib]
A. Lastra, J. R. Sendra, L. X. C. Ngo, F. Winkler.Rational General Solution of 1-Dimensional Systems of Autonomous Ordinary Differential Equations. Technical report no. 13-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2013.[pdf][pdf][bib]
Koukouvinos Christos, Simos Dimitris E, Zafeirakopoulos Zafeirakis.A Groebner Bases Method for Complementary Sequences. In: Proceedings of Applications of Computer Algebra, Jose Luis Galan Garcia, Gabriel Aguilera Venegas, Pedro Rodirguez Cielos (ed.), pp. 255-260.2013.84-616-4565-0.[bib]
S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann.Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, C. Schneider, J. Bluemlein (ed.), Texts and Monographs in Symbolic Computation, pp. 75-96.2013.Springer,ISBN-13: 978-3709116159.arXiv:1305.4818 [cs.SC].[doi][pdf][bib]
2012
J. Ablinger.Computer Algebra Algorithms for Special Functions in Particle Physics. J. Kepler University Linz. PhD Thesis.April2012.[pdf][bib]
Ainhoa Aparicio-Monforte, Jacques-Arthur Weil.A reduced form for linear differential systems and its application to integrability of Hamiltonian systems.Journal of Symbolic Computation47(2), pp. 192-213.022012. ISSN 0747-7171.[url][bib]
Tudor Jebelean, Anna Medve.Formalization of Workflows Using Fork-Join Automata. Technical report no. 12-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2012.[pdf][bib]
Peter Paule, Sergei K. Suslov.Relativistic Coulomb Integrals and Zeilbergers Holonomic Systems Approach. I. Technical report no. 12-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.Published in: Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions, Buchreihe: Texts & Monographs in Symbolic Computation, Verlag: Springer Vienna, Print ISBN: 978-3-7091-1615-9..[pdf][bib]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.A Variant of Higher-Order Anti-Unification. Technical report no. 12-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
C. Doench, J. Middeke, F. Winkler.DEAM 2 Proceedings. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
C. Dönch.Standard Bases in Finitely Generated Difference-Skew-Differential Modules and Their Application to Dimension Polynomials. Technical report no. 12-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Dominici Diego, Knessl Charles.Asymptotic analysis of a family of polynomials associated with the inverse error function.Rocky Mountain J. Math.42(3), pp. 847-872.2012. ISSN 0035-7596.[doi][bib]
Dominici Diego E., Gill Peter M. W., Limpanuparb Taweetham.A remarkable identity involving Bessel functions.Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.468(2145), pp. 2667-2681.2012. ISSN 1364-5021.[doi][bib]
Isabela Dramnesc, Tudor Jebelean.Semi-automatic Synthesis of Some Sorting Programs in Theorema. Research Institute for Symbolic Computation (RISC), University of Linz. Technical report no. 12-01, Schloss Hagenberg, 4232 Hagenberg, Austria, January2012.RISC Report Series.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Systematic Exploration of the Theory of Lists in Theorema. Technical report no. 12-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2012.RISC Report Series.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Theory Exploration in Theorema: Case Study on Lists. In: Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics, . (ed.), Proceedings of SACI 2012, pp. 421-426.May 24-262012.IEEE Xplore,Obuda University, Budapest, Hungary and "Politehnica" University of Timisoara, Romania,Print ISBN 978-1-4673-1013-0.[bib]
Isabela Dramnesc, Tudor Jebelean.Systematic Exploration of List Theory in Theorema.Scientific Bulletin of the "Politehnica" University of Timisoara, Transactions on Automatic Control and Computer Science(4/2012), pp. 203-210.2012.ISSN 1224-600X.[bib]
Isabela Dramnesc, Tudor Jebelean.Discovery of Inductive Algorithms through Automated Reasoning: A Case Study on Sorting. In: Proceedings of SISY 2012: the IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics, . (ed.), pp. 293-298.September2012.IEEE Xplore,ISBN 978-1-4673-4751-8.[url][bib]
Isabela Dramnesc, Tudor Jebelean.Automated Synthesis of Some Algorithms on Finite Sets. In: Proceedings of SYNASC 2012: the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, . (ed.), pp. 143-151.September2012.IEEE Computer Society,ISBN-13: 978-0-7695-4934-7.[bib]
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia.A Dynamic Pattern Calculus with Hedge Variables. Technical report no. 12-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
M. Erascu, T. Jebelean.Soundness of a Logic-Based Verification Method for Imperative Loops. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), pp. 127-134.2012.IEEE Computer Society, 978-0-7695-4934-7.[pdf][bib]
Madalina Erascu.Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms. Research Institute for Symbolic Computation. PhD Thesis.2012.RISC Technical Report 12-16.[pdf][bib]
Madalina Erascu.Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms. Technical report no. 12-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Gabor Guta.Model-to-Text Transformation Modification by Examples. Research Institute for Symbolic Computation. PhD Thesis.2012.[pdf][bib]
J. Ablinger, J. Bluemlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Raab, M. Round, C. Schneider, F. Wissbrock.Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N. In: Proc. Loops and Legs in Quantum Field Theory 2012, J. Blümlein, S. Moch, T. Riemann (ed.), PoS(LL2012)033, pp. 1-12.2012.ISSN 1824-8039.arXiv:1212.6823 [hep-ph].[doi][bib]
Fredrik Johansson.Efficient implementation of the Hardy-Ramanujan-Rademacher formula.LMS Journal of Computation and Mathematics(15), pp. 341-359.2012.ISSN 1461-1570.[url][pdf][bib]
F. Winkler, M. Hudayberdiev, G. Judakova.Computer algebra methods for pattern recognition: systems with complex order. In: Proceedings INTELS 2012 (Moscow), - (ed.), Proceedings of INTELS 2012, pp. 148-150.2012.978-5-93347-432-6.[bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer.Telescopers for Rational and Algebraic Functions via Residues. ArXiv. Technical report no. 1201.1954, 2012.[pdf][ps][bib]
Shaoshi Chen, Manuel Kauers.Order-Degree Curves for Hypergeometric Creative Telescoping. ArXiv. Technical report no. 1201.1982, 2012.[ps][pdf][bib]
Shaoshi Chen, Manuel Kauers.Trading Order for Degree in Creative Telescoping.Journal of Symbolic Compuation47(8), pp. 968-995.2012.ISSN 0747-7171.[ps][pdf][bib]
Shaoshi Chen, Manuel Kauers.Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 122-129.2012.isbn 978-1-4503-1269.[pdf][bib]
Shaoshi Chen, Manuel Kauers, Michael F. Singer.Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), pp. 130-137.2012.isbn 978-1-4503-1269.[pdf][bib]
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller.A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting.Electronic Journal of Combinatorics18(2), pp. 1-76.2012.1077-8926.P37.[ps][pdf][bib]
Manuel Kauers, Ryan O\'Donnell, Li-Yang Tan, Yuan Zhou.Hypercontractive inequalities via SOS, with an application to Vertex-Cover. ArXiv. Technical report no. 1212.5324, 2012.[pdf][ps][bib]
Muhammad Taimoor Khan.Formal Semantics of MiniMaple. Technical report no. 12-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2012.[pdf][bib]
Muhammad Taimoor Khan.Formal Semantics of a Specification Language for MiniMaple. Technical report no. 12-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2012.[pdf][bib]
Muhammad Taimoor Khan, Wolfgang Schreiner.Towards the Formal Specification and Verification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI)7362, pp. 231-247.July2012.Springer-Verlag,Berlin/Heidelberg,ISBN 978-3-642-31373-8.Awarded with a Best Student Paper Award.[url][pdf][bib]
Muhammad Taimoor Khan, Wolfgang Schreiner.On Formal Specification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI)7362, pp. 442-446.July2012.Springer-Verlag,Berlin/Heidelberg,ISBN 978-3-642-31373-8.[url][pdf][bib]
Muhammad Taimoor Khan.On the Formal Semantics of MiniMaple and its Specification Language. In: Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012), xxx (ed.), pp. 00-00.December2012.IEEE Digital Library,xxx.[bib]
Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl.Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation1, pp. 105-121.2012.Springer,Wien,ISBN 978-3-7091-0793-5.[pdf][bib]
Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland.The iterated integrals of ln(1+x^n).International Journal of Number Theory8(1), pp. 71-94.2012.ISSN 1793-0421.[pdf][bib]
Stavros Garoufalidis, Christoph Koutschan.The non-commutative A-polynomial of (-2, 3, n) pretzel knots.Experimental Mathematics21(3), pp. 241-251.2012.ISSN 1058-6458.[url][pdf][bib]
Masao Ishikawa, Christoph Koutschan.Zeilberger's Holonomic Ansatz for Pfaffians. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 227-233.2012.ACM,ISBN 978-1-4503-1269.[url][pdf][bib]
Stavros Garoufalidis, Christoph Koutschan.Twisting q-holonomic sequences by complex roots of unity. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (ISSAC), Joris van der Hoeven, Mark van Hoeij (ed.), pp. 179-186.2012.ACM,ISBN 978-1-4503-1269.[url][pdf][bib]
Herwig Hauser, Christoph Koutschan.Linear Recurrences and Power Series Division.Discrete Mathematics312(24), pp. 3553-3560.2012.ISSN 0012-365X.[pdf][bib]
Thierry Combot, Christoph Koutschan.Third order integrability conditions for homogeneous potentials of degree -1.Journal of Mathematical Physics53(8), pp. 082704-.2012.ISSN 0022-2488.[pdf][bib]
B. Kronholm.A Result on Ramanujan-Like Congruence Properties of the Restricted partition Function p(n, m) Across Both Variables.INTEGERS12(A63), pp. 1-6.2012.1553-1732.[url][pdf][bib]
Temur Kutsia, Mircea Marin.Solving, Reasoning, and Programming in Common Logic. Technical report no. 12-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Temur Kutsia, Mircea Marin.Solving, Reasoning, and Programming in Common Logic. In: Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Andrei Voronkov (ed.), pp. 119-126.2012.IEEE Computer Society,ISBN 978-0-7695-4934-7.[pdf][bib]
Temur Kutsia, Mircea Marin.Regular Expression Order-Sorted Unification and Matching. Technical report no. 12-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
L. X. C. Ngo, J. R. Sendra, F. Winkler.Birational Transformations on Algebraic Ordinary Differential Equations. Technical report no. 12-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2012.[pdf][bib]
L.X.C. Ngo, J.R. Sendra, F. Winkler.Classification of algebraic ODEs with respect to rational solvability.Computational Algebraic and Analytic Geometry, Contemporary Mathematics(572), pp. 193-210.2012.AMS,0271-4132.[bib]
Peter Paule, Cristian-Silviu Radu.The Andrews-Sellers family of partition congruences.Advances in Mathematics230(3), pp. 819-838.2012.0001-8708.[doi][pdf][bib]
George E. Andrews and Peter Paule.MacMahon's Dream. In: Partitions, q-Series, and Modular Forms, K. Alladi and F. Garvan (ed.), Developments in Mathematics23, pp. 1-12.2012.Springer,978-1-4614-0028-8.[bib]
S. Beuchler, V. Pillwein and S. Zaglmayr.Fast summation techniques for sparse shape functions in tetrahedral hp-FEM. In: Domain Decomposition Methods in Science and Engineering XX, , pp. 537-544.2012.to appear.[pdf][bib]
S. Beuchler, V. Pillwein and S. Zaglmayr.Sparsity optimized high order finite element functions for H(div) on simplices.Numerische Mathematik122(2), pp. 197-225.2012.[pdf][bib]
Y. Cha, V. Pillwein.Closed form solutions of linear difference equations in terms of symmetric products.ACM Communications in Computer Algebra46(3-4), pp. 80-81.Sep2012.0.[bib]
Liu Chao, Wu Dandan, Qi Jiayue.The Real Estate Market Comprehensive Evaluation based on Sparse Principal Component Analysis -- An Example of Beijing.ECONOMIC RESEARCH GUIDENo.30.2012(Serial No.176), pp. 158-160.2012.1673-291X(2012) 30-0158-03.[url][bib]
Clemens G. Raab.Using Groebner bases for finding the logarithmic part of the integral of transcendental functions.Journal of Symbolic Computation47(10), pp. 1290-1296.2012.ISSN 0747-7171.[bib]
Moulay A. Barkatou, Clemens G. Raab.Solving Linear Ordinary Differential Systems in Hyperexponential Extensions. In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, pp. 51-58.2012.ISBN 978-1-4503-1269.[pdf][bib]
Clemens G. Raab.Definite Integration in Differential Fields. Johannes Kepler Universität Linz, Austria. PhD Thesis.August2012.[pdf][bib]
Cristian-Silviu Radu.A proof of Subbarao's conjecture.Journal fuer Reine und angewandte Mathematik2012(672), pp. 161-175.2012.De Gruyter, 1435-5345.[doi][pdf][bib]
J. Bluemlein, S. Klein, C. Schneider, F. Stan.A Symbolic Summation Approach to Feynman Integral Calculus.J. Symbolic Comput.47, pp. 1267-1289.2012.ISSN 0747-7171.arXiv:1011.2656 [cs.SC].[doi][pdf][bib]
J. Ablinger, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock.New Heavy Flavor Contributions to the DIS Structure Function $F_2(x, Q^2)$ at $O(\alpha_s^3)$. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology) PoS(RADCOR2011)31, pp. 1-8.2012.ISSN 1824-8039.arXiv:1202.2700 [hep-ph].[doi][bib]
J. Bluemlein, A. Hasselhuhn, C. Schneider.Evaluation of Multi-Sums for Large Scale Problems. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology)PoS(RADCOR2011)32, pp. 1-9.2012.ISSN 1824-8039.arXiv:1202.4303 [math-ph].[doi][bib]
J. Ablinger, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock.Massive 3-loop Ladder Diagrams for Quarkonic Local Operator Matrix Elements.Nuclear Physics B864, pp. 52-84.2012.ISSN: 0550-3213.arXiv:1206.2252v1 [hep-ph].[doi][pdf][bib]
J. Ablinger, J. Bluemlein, M. Round, C. Schneider.Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. In: Loops and Legs in Quantum Field Theory 2012, J. Bluemlein, S. Moch, T. Riemann (ed.), PoS(LL2012)50, pp. 1-14.2012.ISSN 1824-8039.arXiv:1210.1685 [cs.SC].[doi][bib]
Temur Kutsia, Wolfgang Schreiner.LogicGuard Abstract Language. Technical report no. 12-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
Wolfgang Schreiner.Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. In: Proceedings First Workshop on CTP Components for Educational Software (THedu'11), Pedro Quaresma and Ralph-Johan Back (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS)79, pp. 124-142.February2012.Wroclaw, Poland, July 31, 2011,ISSN: 2075-2180.[doi][bib]
Wolfgang Schreiner.Computability and Complexity. Technical report no. 2012-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2012.Lecture Notes Winter Semester 2012/2013 (last revision: February 4, 2013).[pdf][bib]
Temur Kutsia, Wolfgang Schreiner.Translation Mechanism for the LogicGuard Abstract Language. Technical report no. 12-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
V. Pillwein, S. Takacs.A local Fourier convergence analysis of a multigrid method using symbolic computation. DK Computational Mathematics. Technical report no. DK Report 2012-04, April2012.[pdf][bib]
Ph. Kügler, W. Windsteiger.Algorithmische Methoden - Funktionen, Matrizen, Multivariate Polynome.Reihe: Mathematik kompakt.1st edition,May2012.Birkhäuser Basel Boston Berlin,ISBN 978-3-7643-8515-6.[url][bib]
W. Windsteiger.Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. In: 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress, James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht (ed.), CEUR Workshop Proceedings921, pp. 73-81.2012.Aachen,1613-0073.[url][pdf][bib]
W. Windsteiger.Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. In: Proceedings 10th International Workshop On User Interfaces for Theorem Provers, Bremen, Germany, July 11th 2012, Cezary Kaliszyk and Christoph Lüth (ed.), Proceedings of UITP 2012, Electronic Proceedings in Theoretical Computer Science118, pp. 72-82.2012.Open Publishing Association,ISBN 2075-2180 (ISSN).doi: 10.4204/EPTCS.118.5.[url][bib]
F. Winkler.The role of Symbolic Computation in Mathematics. In: Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012), J.R. Sendra and C. Villarino (ed.), pp. 33-34.2012.978-84-8138-770-4.[bib]
Zafeirakis Zafeirakopoulos.Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Research Institute for Symbolic Computation / DK-compmath. PhD Thesis.December2012.[pdf][bib]
Zafeirakis Zafeirakopoulos.Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry. Technical report no. 12-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2012.Thesis.[pdf][bib]
2011
Ainhoa Aparicio-Monforte, Moulay Barkatou, Sergi Simon, Jacques-Arthur Weil.Formal First Integrals Along Solutions of Differential Systems I. In: ISSAC 2011, Association for Computing Machinery (ed.), pp. 19-26.2011.ACM,978-1-4503-0675-1.[bib]
Ainhoa Aparicio-Monforte, Jacques-Arthur Weil.A reduction method for higher order variational equations of Hamiltonian systems. In: Symmetries and Related Topics in Differential and Difference Equations, David Blázquez-Sanz, Juan J. Morales-Ruiz and Jesús Rodríguez Lombardero (ed.), Contemporary Mathematics, pp. ---.september2011.American Mathematical Society,2009 Jairo Charris Seminar in Symmetries of Differential and Difference Equations,0-8218-6872-1.[bib]
Volkmar Wieser, Clemens Grelck, Holger Schoner, Peter Haslinger, Karoly Bosa, Bernhard Moser.GPU-Based Image Processing Use Cases: A High-Level Approach. In: Proceedings of ParCo2011, - (ed.), Proceedings of International Conference on Parallel Computing 2011, Advances in Parallel Computing, pp. -.September2011.IOS Press,0.[url][pdf][bib]
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger.Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 273-331.2011.Springer, Wien,ISBN 978-3-7091-0793-5.Also available as RICAM Report 2010-05, September 2010.[pdf][bib]
Bruno Buchberger, Manuel Kauers.Buchberger's Algorithm.Scholarpedia6(10), pp. 7764-7764.October2011.1941-6016.[url][bib]
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li.On the Structure of Compatible Rational Functions. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), Proceedings of The 36th International Symposium on Symbolic and Algebraic Computation (ISSAC2011), pp. 91-98.June2011.ACM,978-1-4503-0675-1.[url][ps][pdf][bib]
Tautz R. C., Lerche I., Dominici D..Methods for summing general Kapteyn series.J. Phys. A44(38), pp. 385202, 14-385202, .2011. ISSN 1751-8113.[doi][bib]
Dominici Diego Ernesto.On Taylor series and Kapteyn series of the first and second type.J. Comput. Appl. Math.236(1), pp. 39-48.2011. ISSN 0377-0427.[doi][bib]
Dominici Diego.An arithmetic metric.College Math. J.42(3), pp. 207-214.2011. ISSN 0746-8342.[doi][bib]
Cohl Howard S., Dominici Diego E..Generalized Heine's identity for complex Fourier series of binomials.Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.467(2126), pp. 333-345.2011. ISSN 1364-5021.[doi][bib]
Dominici Diego, Driver Kathy, Jordaan Kerstin.Polynomial solutions of differential-difference equations.J. Approx. Theory163(1), pp. 41-48.2011. ISSN 0021-9045.[doi][bib]
Isabela Dramnesc, Tudor Jebelean.Automated Reasoning on Tuples - Case Studies in Proof Based Synthesis. Technical report no. 11-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2011.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean .Proof Techniques for Synthesis of Sorting Algorithms. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt and D. Zaharie (ed.), pp. 101-109.September2011.IEEE Computer Society,ISBN 978-0-7695-4630-8.[url][pdf][bib]
Madalina Erascu.Symbolic Computation and Program Verification. Proving Partial Correctness and Synthesizing Optimal Algorithms. Technical report no. 11-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[pdf][bib]
Burcin Erocal.Algebraic extensions for summation in finite terms. RISC, Johannes Kepler University, Linz. PhD Thesis.February2011.[pdf][bib]
Christoph Fuerst.Combinatorial Sums: Egorychev's Method of Coefficients and Riordan Arrays. RISC, Johannes Kepler University Linz. Diploma Thesis.March2011.[pdf][bib]
Gabor Guta.A Graph Annotation Based Algorithm for Transducer Modification Inference. Technical report no. 11-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).052011.[pdf][bib]
M. Hodorog.Symbolic-Numeric Algorithms for Plane Algebraic Curves. Research Institute for Symbolic Computation (RISC), Doctoral Program "Computational Mathematics". PhD Thesis.November2011.RISC Technical Report 11-14.[pdf][bib]
Manuel Kauers, Peter Paule.The Concrete Tetrahedron.Text and Monographs in Symbolic Computation1st edition,2011.Springer Wien,978-3-7091-0444-6.[bib]
Manuel Kauers.How To Use Cylindrical Algebraic Decomposition.Seminaire Lotharingien de Combinatoire65(B65a), pp. 1-16.2011.ISSN 1286-4889.[pdf][ps][bib]
Manuel Kauers, Doron Zeilberger.The Computational Challenge of Enumerating High Dimensional Rook Paths.Advances in Applied Mathematics47(4), pp. 813-819.2011.ISSN 0196-8858.[ps][pdf][bib]
Manuel Kauers.A Mathematica Package for Computing Asymptotic Expansions of Solutions of P-Finite Recurrence Equations. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[ps][pdf][bib]
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz.Dominance in the Family of Sugeno-Weber t-norms.Fuzzy Sets and Systems181(1), pp. 74-87.October2011.ISSN 0165-0114.[ps][pdf][bib]
Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller.A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. ArXiv. Technical report no. 1107.2015, 2011.[ps][pdf][bib]
Muhammad Taimoor Khan.A Type Checker for MiniMaple. Technical report no. 11-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2011.[pdf][bib]
Muhammad Taimoor Khan, Wolfgang Schreiner.Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract). In: Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), Paul Pettersson and Cristina Seceleanu (ed.), pp. 42-44.October2011.Vasteras, Sweden,Doktoratskolleg,Research Institute for Symbolic Computation,ISSN 1404-3041.[pdf][bib]
Muhammad Taimoor Khan.Towards a Behavioral Analysis of Computer Algebra Programs. Technical report no. 11-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2011.[pdf][bib]
Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll.Integrals of powers of loggamma.Proceedings of the AMS139(2), pp. 535-545.2011.ISSN 0002-9939.[pdf][bib]
Christoph Koutschan, Victor H. Moll.The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs.SCIENTIA Series A: Mathematical Sciences20, pp. 93-111.2011.Universidad Tecnica Federico Santa Maria, Valparaiso, Chile,ISSN 0716-8446.[pdf][bib]
Christoph Koutschan, Manuel Kauers, Doron Zeilberger.Proof of George Andrews's and David Robbins's q-TSPP conjecture.Proceedings of the National Academy of Sciences108(6), pp. 2196-2199.2011.ISSN 0027-8424.[url][pdf][bib]
Stavros Garoufalidis, Christoph Koutschan.The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions.Advances in Applied Mathematics47(4), pp. 829-839.2011.ISSN 0196-8858.[pdf][bib]
Christoph Koutschan, Doron Zeilberger.The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux).The Mathematical Intelligencer33(2), pp. 52-57.2011.ISSN 0343-6993.[url][pdf][bib]
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak.On Two-generated Non-commutative Algebras Subject to the Affine Relation. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science6885, pp. 309-320.2011.Springer,ISBN 978-3-642-23567-2.[pdf][bib]
Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy.On Kahan's Rules for Determining Branch Cuts. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Dongming Wang et al. (ed.), pp. 47-51.2011.IEEE Computer Society: Conference Publishing Services (CPS),ISBN 978-0-7695-4630-8.[pdf][bib]
Christoph Koutschan.Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011.[url][pdf][bib]
Thierry Combot, Christoph Koutschan.Third order integrability conditions for homogeneous potentials of degree -1. ArXiv (www.arxiv.org). Technical report no. 1111.5971, 2011.Submitted for publication.[url][pdf][bib]
Christoph Koutschan, Thotsaporn Thanatipanonda.Advanced Computer Algebra for Determinants. ArXiv (www.arxiv.org). Technical report no. 1112.0647, 2011.Submitted for publication.[url][pdf][bib]
Tudor Jebelean, Gabor Kusper.SAT Solving Experiments in Multi-Domain Logic. In: ICAI 2001, Emod Kovacs (ed.)I, pp. 95-105.2011.Eger, Hungary,0.[bib]
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. Technical report no. 11-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[pdf][bib]
Temur Kutsia, Jordi Levy, Mateu Villaret.Anti-Unification for Unranked Terms and Hedges. In: Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011, Manfred Schmidt-Schauss (ed.), Leibniz International Proceedings in Informatics (LIPIcs)10, pp. 219-234.2011.Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing,ISBN 978-3-939897-30-9, ISSN 1868-8969.[url][bib]
Johannes Middeke.A computational view on normal forms of matrices of Ore polynomials. Research Institute for Symbolic Computation (RISC). PhD Thesis.July2011.RISC Technical Report 11-10.[pdf][bib]
Felix Antritter and Johannes Middeke.A toolbox for the analysis of linear systems with delays. In: Proceedings of the 50th IEEE Conference on Decision and Control (CDC 2011), , Proceedings of 50th IEEE Conference on Decision and Control (CDC 2011), pp. -.December2011.Orlando, Florida, USA,IEEE,[bib]
I. Moale and F. Peherstorfer.Explicit min-max polynomials on the disc.J. Approx. Theory163, pp. 707-723.2011.ISSN 0021-9045.[bib]
I. Moale and F. Peherstorfer.An explicit class of min-max polynomials on the ball and on the sphere.J. Approx. Theory163, pp. 724-737.2011.ISSN 0021-9045.[bib]
I. Moale and P. Yuditskii.On complex (non-analytic) Chebyshev polynomials in C^2.Comput. Methods Funct. Theory 11, pp. 13-24.2011.ISSN 1617-9447.[bib]
I Moale.Explicit weighted min-max polynomials on the disc. In: submitted, , pp. -.2011.[bib]
L.X.C Ngo, F. Winkler.Rational general solutions of planar rational systems of autonomous ODEs.Journal of Symbolic Computation46(10), pp. 1173-1186.2011.Research Institute for Symbolic Computation,ISSN: 0747-7171.[url][bib]
L.X.C. Ngo.Rational General Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation (RISC). PhD Thesis.October2011.RISC Technical Report 11-12.[pdf][bib]
L.X.C. Ngo, F. Winkler.Rational general solutions of parametrizable AODEs.Publicationes Mathematicae Debrecen, pp. 573-587.2011.ISSN 0033-3883.[bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of trivariate rational systems of autonomous ODEs. In: Proceedings Forth Internat. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), 111 (ed.), pp. 93-100.2011.111.[bib]
P. Paule, V. Pillwein.Automatic Improvements of Wallis' Inequality. In: SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida and others (ed.), pp. 12-16.2011.IEEE Computer Society,0.[pdf][bib]
S. Beuchler, V. Pillwein, J. Schoeberl and S. Zaglmayr .Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 21-44.2011.Springer,Wien,[pdf][bib]
C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos.On the Average Complexity for the Verification of Compatible Sequences .Information Processing Letters 111(17), pp. 825-830.2011.[pdf][bib]
N. Popov, T. Jebelean.Sound and Complete Verification Condition Generator for Functional Recursive Programs.. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 219-256.2011.Springer,Wien,ISBN 978-3-7091-0793-5.[bib]
Silviu Radu, James Sellers.Parity results for broken k-diamond partitions and (2k+1)-cores.Acta Arithmetica, pp. 43-52.2011.ISSN 0065-1036.[bib]
M. Hodorog, J. Schicho.A Symbolic-Numeric Algorithm for Genus Computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 65-95.2011.Springer Wien,0943-853X.[pdf][bib]
M. Hodorog, B. Mourrain, J. Schicho.An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curve Singularities. In: Proceedings of the 11th International Conference on Computational Science and Its Applications, Part III, Session: Computational Geometry and Applications, B. Murgante et al. (ed.), Lecture Notes in Computer Science, pp. 121-131.2011.Springer, Heidelberg,978-3-642-21930-6.[pdf][bib]
M. Hodorog, J. Schicho.A Regularization Method for Computing Approximate Invariants of Plane Curves Singularities. In: Proceedings of the 4th International Workshop on Symbolic-Numeric Computation, L. Zhi et al. (ed.), pp. ?-?.2011.ACM (Association for Computing Machinery),To appear.[pdf][bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock.The O(\alpha_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x, Q^2) and Transversity.Nucl. Phys. B844, pp. 26-54.2011.ISSN: 0550-3213.arXiv:1008.3347 [hep-ph].[doi][bib]
Manuel Kauers, Carsten Schneider.A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), pp. 201-208.2011.978-1-4503-0675-1.arXiv:1101.2803 [cs.SC].[doi][pdf][bib]
H. Prodinger, C. Schneider, S. Wagner.Unfair permutations.Europ. J. Comb.32, pp. 1282-1298.2011.ISSN: 0195-6698.[doi][pdf][bib]
J. Ablinger, J. Bluemlein, C. Schneider.Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials.J. Math. Phys.52(10), pp. 1-52.2011.ISSN 0022-2488 .arXiv:1105.6063 [math-ph].[doi][pdf][bib]
J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock.3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines. In: 19th International Workshop On Deep-Inelastic Scattering And Related Subjects (DIS 2011), , pp. -.2011.American Institute of Physics (AIP),[url][bib]
Wolfgang Schreiner.Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: THedu'11, CTP Components for Educational Software, Workshop associated to CADE-23, Pedro Quaresma and Ralph-Johan Back (ed.), CISUC Technical Report 2011/001, pp. 55-59.2011.Wroclaw, Poland, July 31,Center for Informatics and Systems, University of Coimbra, Portugal,ISSN 0874-338X.[pdf][bib]
Wolfgang Schreiner.Software. In: Nonlinear Resonance Analysis - Theory, Computation, Applications, Elena Kartashova (ed.), pp. 185-208.2011.Cambridge University Press,Cambridge, UK,ISBN 978-0-521-76360-8.Appendix.[bib]
Wolfgang Schreiner.The RISC ProgramExplorer - Tutorial and Manual. Technical report no. 11-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2011.[pdf][bib]
Andrei-Ovidiu Coman.Video Tracking of Humans in Robotic Environments. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis.September2011.[pdf][bib]
Wolfgang Schreiner.Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: Specification and Verification of Hybrid Systems, Proceedings of the First International Seminar, Louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker (ed.), pp. 64-69.2011.Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse,October 10-12, 2011, Kyiv, Ukraine,ISBN 0000.[bib]
Silviu Radu, James Sellers.Congruence Properties Modulo 5 and 7 for the pod Function.International Journal of Number Theory8, pp. 2249-2259.2011.1793-7310.[bib]
W.Y.C.Chen, D.D.M.Sang and Diane Y.H. Shi. Anti-lecture hall compositions and overpartitions.J.Combin. Theory, Ser. A.118(4), pp. 1451-1464.2011.0097-3165.[bib]
Marek Sacha.Structuring and Reusing Knowledge in the Theorema System. Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz. Diploma Thesis.2011.[pdf][bib]
V. Pillwein, S. Takacs.Smoothing analysis of an all-at-once multigrid approach for optimal control problems using symbolic computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer, P. Paule (ed.), pp. 175-192.2011.Springer Wien,[pdf][bib]
Loredana Tec.Computing and Proving with Integro-Differential Polynomials in Theorema. Technical report no. 11-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[bib]
Loredana Tec.A Symbolic Framework for General Polynomial Domains in Theorema: Applications to Boundary Problems. Research Institute for Symbolic Computation. Technical report no. 11-09, July2011.PhD Thesis.[bib]
T. Thanatipanonda.Further Hopping with Toads and Frogs.The Electronic Journal of Combinatorics18(1)(P67), pp. 1-12.2011.1077-8926.[pdf][bib]
Manuela Wiesinger-Widi.Groebner Bases and Generalized Sylvester Matrices.ACM Communications in Computer Algebra45(2), pp. -.June2011.Accepted extended abstract from ISSAC 2011 poster presentation.[pdf][bib]
Manuela Wiesinger-Widi.Sylvester Matrix and GCD for Several Univariate Polynomials. Technical report no. 11-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2011.[pdf][bib]
Manuela Wiesinger-Widi.Towards Computing a Groebner Basis of a Polynomial Ideal over a Field by Using Matrix Triangularization. Technical report no. 11-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2011.[pdf][bib]
Manfred Kerber, Colin Rowat, and Wolfgang Windsteiger.Using Theorema in the Formalization of Theoretical Economics. In: Intelligent Computer Mathematics, James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban (ed.), Proceedings of CICM 2011, Lecture Notes in Artificial Intelligence (LNAI)6824, pp. 58-73.2011.Springer,ISSN 0302-9743.[doi][pdf][bib]
F. Winkler.Algebraic Informatics. In: Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011), Springer Verlag (ed.), Proceedings of 4th International Conference on Algebraic Informatics (CAI 2011), pp. -.2011.ISSN 0302-9743, ISBN 978-3-642-21492-9.[bib]
shemyakova, winkler.Linear partial differential equations and linear partial differential operators in computer algebra. In: Numerical and Symbolic Scientific Computing - Progress and Prospects, Springer Verlag (ed.), pp. 333-358.2011.Springer Verlag,ISSN 0943-853X.[bib]
F. Winkler.What can Symbolic Computation contribute to Mathematics?. In: Proceedings SYNASC 2011,, aaa (ed.), pp. 1-14.2011.1111.[bib]
Xinhua Xiong.The number of cubic partitions modulo powers of 5.arXiv:math.NT/1004.4737. Science China in Mathematics 41(1), pp. 1-15.2011.ISSN 1674-7216.[url][bib]
Xinhua Xiong.Two identities involving the cubic partition function.Int. J. Number Theory7(6), pp. 1615-1626.2011.ISSN 1793-0421.[bib]
Xinhua Xiong.Two congruences involving Andrews-Paule's broken 3-diamond partitions and 5-diamond partitions.Proc. Japan Acad. Ser. A: Math. Sci.87(5), pp. 65-68.2011.ISSN : 0386-2194.[bib]
Xinhua Xiong.A short proof of an identity for cubic partition function.Commun. Korean Math. Soc.26(4), pp. 551-555.2011.ISSN: 1225-1763 .[url][bib]
Qunying Liao, Liangjie Ye.Lower Bounds and Constructions for q-ary Codes Correcting Asymmetric Errors.Advances in Mathematics(China)42(6), pp. 795-800.2011.ISSN:1000-0917 .
