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.[url][pdf][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, Schloss Hagenberg, 4232 Hagenberg, Austria. 2018.[pdf][bib]
Berkovich A., Uncu A. K..On some polynomials and series of Bloch-Polya Type.ArXiv e-prints (to appear in Proc. of AMS ), pp. -.2018.Preprint.[bib]
Berkovich A., Uncu A. K..Some Elementary Partition Inequalities and Their Implications.ArXiv e-prints (submitted), pp. -.2018.Preprint.[bib]
David M. Cerna and Anela Lolic.Proof Schemata for Theories equivalent to PA: on the Benefit of Conservative Reflection Principles. RISC. Technical report, January 2018.In review.[url][pdf][bib]
David M. Cerna Temur Kutsia.Anti-unification problems with one idempotent symbol can have infinitely many solutions. RISC. Technical report, Feb.2018.[pdf][bib]
David M. Cerna, Temur Kutsia.Higher-Order Equational Pattern Anti-Unification. Technical report no. 18-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2018.[pdf][bib]
David M. Cerna.A General Recursive Construction for Schematic Resolution Derivations. 2018.submitted for review.[pdf][bib]
David M. Cerna and Anela Lolic.System Description: GAPT for schematic proofs. Jan.2018.[pdf][bib]
David M. Cerna and Alexander Leitsch and Anela Lolic .A Resolution Calculus for Recursive Clause Sets: Extended Version. Technical Report,April2018.[pdf][bib]
David M. Cerna.An Incompleteness Result for Loop Discovery Based Recursive Provers: [Preprint]}. RISC Report,july2018.[pdf][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.[url][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.[url][pdf][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]
N.T. Vo, G. Grasegger, F. Winkler.Deciding the Existence of Rational General Solutions for First-Order Algebraic ODEs.Journal of Symbolic Computation87, pp. 127-139.2018.ISSN 0747-7171.[bib]
Ralf Hemmecke, Silviu Radu.Construction of all Polynomial Relations among Dedekind Eta Functions of Level $N$. Technical report no. 18-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. January 262018.[pdf][bib]
Ralf Hemmecke.Dancing Samba with Ramanujan Partition Congruences.Journal of Symbolic Compuation84, pp. 14-24.2018.ISSN 0747-7171.[url][bib]
Ralf Hemmecke, Silviu Radu, Liangjie Ye.The Generators of all Polynomial Relations among Jacobi Theta Functions. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. July 92018.[pdf][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, Schloss Hagenberg, 4232 Hagenberg, Austria. April2018.Work in progress.[zip][pdf][pdf][bib]
A. Jimenez-Pastor and V. Pillwein.Algorithmic Arithmetics with DD-Finite Functions . DK Computational Mathematics. Technical report no. 2018-03, Feb2018.[url][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. ?-?.2018.World Scientific Publishing,ISBN 978-981-3228-87-0.[pdf][bib]
Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho.The Number of Realizations of a Laman Graph.SIAM Journal on Applied Algebra and Geometry2(1), pp. 94-125.2018.2470-6566.[url][bib]
David M. Cerna and Temur Kutsia.Idempotent Generalization is Infinitary. RISC. Technical report, RISC Report, 2018.[pdf][bib]
Tobias Magnusson.The functional equation of Dedekind's $\eta$-function. June 152018.[tex][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]
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, Schloss Hagenberg, 4232 Hagenberg, Austria. 2018.[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].[url][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]
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].[url][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].[url][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].[url][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].[url][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].[url][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 10.1007/s00026-018-0381-5.[url][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].[url][bib]
C. Schneider, E. Zima (ed.). Advances in Computer Algebra. WWCA 2016. Springer Proceedings in Mathematics & Statistics, 226, 2018.Springer,ISSN 2194-1009.[url][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].[url][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].[url][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.[url][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, , to appear in PoS, pp. 1-14.2018.arXiv:1807.05287 [hep-ph].[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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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. 0-0.2018.Springer,Berlin,ISBN XXXXXX.The final authenticated version will be available online at Springer.[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.To be published at CEUR Workshop Proceedings, http://CEUR-ws.org,ISSN 1613-0073.[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]
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]
Alexander Baumgartner, Temur Kutsia.Unranked Second-Order Anti-Unification.Information and Computation255(2), pp. 262-286.2017.ISSN: 0890-5401.[url][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.[url][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.[url][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]
Jose Capco.Generalizing some Results in Field Theory for Rings.Communications in Algebra, pp. 0-12.2017.0092-7872.Preprint.[pdf][bib]
Jose Capco.The Two Artin-Schreier Theorems. 2017.Expository Notes/Lectures.[pdf][bib]
David M. Cerna , Wolfgang Schreiner.An Algorithmic Approach to Bounding the Time Complexity of Stream Specifications. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,January 2017.Technical Report.[pdf][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 M. Cerna, Wolfgang Schreiner.Writing Time- and Space- Efficient LogicGuard Specifications. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,March2017.Technical Report.[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, KA (ed.), Proceedings of Tableaux, lecture notes in computer science, pp. -.September2017.Springer,KA.[bib]
David M. Cerna and Michael Lettmann.Towards a Clausal Analysis of Proof Schemata. In: SYNASC 2017, KA (ed.), IEEE Xplore, pp. -.September2017.KA.[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.[url][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].[url][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]
A. Jimenez-Pastor, V. Pillwein.A computable extension for holonomic functions: DD-finite functions. DK Computational Mathematics. Technical report no. 2017-10, Dec2017.[url][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.[url][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]
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 and E. Zima. (ed.), pp. 1-41.2017.Springer,1019-7168 .[pdf][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, Schloss Hagenberg, 4232 Hagenberg, Austria. September2017.[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.2017.ISSN 1824-8039.arXiv:1711.09742 [hep-ph].[url][bib]
M. Gallet, G. Nawratil, J. Schicho, J. Selig.Mobile Icosapods.Adv. Appl. Math.88, pp. 1-25.2017.ISSN: 0196-8858.[url][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.[url][bib]
M. Gallet, G. Nawratil, J. Schicho.Liaison linkages.J. Symb. Comp.79, pp. 65-98.2017.ISSN: 0747-7171.[url][bib]
C. Schneider.Summation Theory II: Characterizations of $R\Pi\Sigma$-extensions and algorithmic aspects.J. Symb. Comput.80(3), pp. 616-664.2017.ISSN 0747-7171.arXiv:1603.04285 [cs.SC].[url][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.[url][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].[url][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].[url][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]
A. Hoang, C. Schneider (ed.). Proc. RADCOR 2017. Proceedings of RADCOR 2017 - 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology) , Proceedings of Science, 290, 2017.ISSN 1824-8039.[url][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.2017.ISSN 1824-8039.arXiv:1711.07957 [hep-ph].[url][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.2017.ISSN 1824-8039. arXiv:1712.00745 [hep-ph].[url][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.2017.ISSN 1824-8039. arXiv:1712.08541 [hep-th].[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].[url][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.[url][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]
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. Technical report, September2017.Bachelor Thesis.[pdf][bib]
Uncu Ali Kemal.Weighted Rogers-Ramanujan partitions and Dyson crank.The Ramanujan Journal, pp. -.May2017. ISSN 1572-9303.[url][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.[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]
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.[url][bib]
Berkovich A., Kemal Uncu A..New Weighted Partition Theorems with the Emphasis on the Smallest Part of Partitions.ArXiv e-prints (to appear in Proc. of GNV 2016 Int. Conf. ), pp. -.2016.Preprint.[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.[url][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.[url][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.[url][bib]
David M. Cerna , Wolfgang Schreiner.Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. November2016.Submitted.[pdf][bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia.Analytic and Algorithmic Methods for Computing the Space Requirements of Stream Monitor Specifications. October2016.Submitted.[pdf][bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia.Better Space Bounds for Future-Looking Stream Monitors. july2016.Submitted.[pdf][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.[url][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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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.[url][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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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].[url][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].[url][bib]
Ralf Hemmecke.Dancing Samba with Ramanujan Partition Congruences. Technical report no. 16-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. jun2016.Journal of Symbolic Computation 84, 2018, http://dx.doi.org/10.1016/j.jsc.2017.02.001.[pdf][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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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.[url][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].[url][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.[url][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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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: status submitted, , pp. -.2016.[pdf][bib]
A. Dixit, V.H. Moll, V. Pillwein.A hypergeometric inequality.Annals of Combinatorics20(1), pp. 65-72.2016.0218-0006.[pdf][bib]
Cristian-Silviu Radu.An Algorithm to Prove Algebraic Relations Involving Eta Quotients.Annals of Combinatorics, pp. 1-16.2016. 0218-0006.to appear.[pdf][bib]
Christoph Koutschan and Martin Neumüller and Cristian-Silviu Radu.Inverse Inequality Estimates with Symbolic Computation.Advances in Applied Mathematics, pp. 1-23.2016.0196-8858.[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.[url][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.[url][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].[url][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].[url][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.[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.[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.[pdf][bib]
C. Krattenthaler, C. Schneider.Evaluation of binomial double sums involving absolute values.submitted, pp. 1-36.2016.arXiv:1607.05314 [math.CO].[url][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].[url][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].[url][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ès Falcone and César Sánchez (ed.), Proceedings of Runtime Verification, pp. 135-151.September2016.Springer International Publishing,978-3-319-46981-2.[url][pdf][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. Diploma 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, Schloss Hagenberg, 4232 Hagenberg, Austria. 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, Schloss Hagenberg, 4232 Hagenberg, Austria. ISSN: 1793-0421,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]