Members of the Forum Algebra produce more than a hundred publications every year. The list below is automatically generated and may not be complete.

▪▪▪ 2019 ▪ 2018 ▪ 2017 ▪ 2016 ▪ 2015 ▪▪▪

• Christoph Koutschan, Thotsaporn Thanatipanonda. A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon. ArXiv 1709.02616v1.
• Christoph Koutschan, Thotsaporn Thanatipanonda. A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon. ArXiv 1709.02616v2.
• Georg Grasegger, N. Thieu Vo. An Algebraic-Geometric Method for Computing Zolotarev Polynomials. Proc. ISSAC 2017, pp. 173-180.
• Roswitha Hofer, Ísabel Pirsic. An extension of the digital method based on $b$-adic integers. ArXiv 1706.06323v2.
• Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer. An Overview of PρLog. Proc. PADL 2017, pp. 34-49.
• Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang. Apparent Singularities of D-finite Systems. ArXiv 1705.00838v1.
• Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner. Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height. ArXiv 1703.10031v2.
• Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner. Asymptotic Enumeration of Compacted Binary Trees. ArXiv 1703.10031v1.
• Nurdagül Anbar, Wilfried Meidl. Bent and bent\(_4\) spectra of Boolean functions over finite fields. Finite Fields Appl. 46, 163-178 .
• Manuel Kauers, Gleb Pogudin. Bounds for D-finite Substitution. ArXiv 1701.07802v2.
• Manuel Kauers, Gleb Pogudin. Bounds for Substituting Algebraic Functions into D-finite Functions. Proc. ISSAC 2017, pp. 245-252.
• Manuel Kauers, Gleb Pogudin. Bounds for Substituting Algebraic Functions into D-finite Functions. ArXiv 1701.07802v3.
• Armin Biere, Manuel Kauers, Daniela Ritirc. Challenges in Verifying Arithmetic Circuits Using Computer Algebra. Proc. SYNASC 2017, pp. 9-15.
• Leyla Işık, Alev Topuzoğlu, Arne Winterhof. Complete mappings and Carlitz rank. Des. Codes Cryptography 85(1):121-128 .
• Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. Computing the number of realizations of a Laman graph. ArXiv 1707.03633v1.
• Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. Computing the number of realizations of a Laman graph. ArXiv 1707.03633v2.
• Mathias Preiner, Aina Niemetz, Armin Biere. Counterexample-Guided Model Synthesis. TACAS (1), pp. 264-280.
• Matteo Gallet, Josef Schicho. Counting projections of rational curves. ArXiv 1707.05264v1.
• Matteo Gallet, Josef Schicho. Counting projections of rational curves. ArXiv 1707.05264v2.
• Thor Martinsen, Wilfried Meidl, Sihem Mesnager, Pantelimon Stǎnicǎ. Decomposing generalized bent and hyperbent functions. IEEE Trans. Inf. Theory 63(12):7804-7812 .
• Johannes Middeke, Carsten Schneider. Denominator Bounds for Systems of Recurrence Equations using $\Pi\Sigma$-Extensions. ArXiv 1705.00280v1.
• Josef Dick, Domingo Gomez-Perez, Friedrich Pillichshammer, Arne Winterhof. Digital inversive vectors can achieve polynomial tractability for the weighted star discrepancy and for multivariate integration. Proc. Am. Math. Soc. 145(8):3297-3310 .
• Josef Dick, Friedrich Pillichshammer, Kosuke Suzuki, Mario Ullrich, Takehito Yoshiki. Digital net properties of a polynomial analogue of Frolov's construction. ArXiv 1712.06831v2.
• László Mérai, Harald Niederreiter, Arne Winterhof. Expansion complexity and linear complexity of sequences over finite fields. Cryptogr. Commun. 9(4):501-509 .
• Tim Boykett, Jarkko Kari, Ville Salo. Finite generating sets for reversible gate sets under general conservation laws. Theor. Comput. Sci. 701, 27-39 .
• Georg Grasegger, Jan Legerský, Josef Schicho. Graphs with Flexible Labelings. ArXiv 1708.05298v2.
• 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. ArXiv 1711.07957v1.
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reasoning 58(2):293-310.
• Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech. Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. Eur. J. Comb. 61:242-275.
• Nurdagül Anbar, Wilfried Meidl, Alev Topuzoğlu. Idempotent and \(p\)-potent quadratic functions: distribution of nonlinearity and co-dimension. Des. Codes Cryptography 82(1-2):265-291 .
• 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. ArXiv 1706.01299v1.
• 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. ArXiv 1711.09742v1.
• Manuel Kauers, Rong-Hua Wang. Lattice Walks in the Octant with Infinite Associated Groups. ArXiv 1703.05057v1.
• Thomas Vetterlein. Logic of approximate entailment in quasimetric and in metric spaces. Soft Comput. 21(17):4953-4961 .
• Georg Grasegger, Christoph Koutschan, Elias Tsigaridas. Lower bounds on the number of realizations of rigid graphs. ArXiv 1710.08237v1.
• Georg Grasegger, Christoph Koutschan, Elias Tsigaridas. Lower bounds on the number of realizations of rigid graphs. ArXiv 1710.08237v2.
• Richard Hofer, Arne Winterhof. On the arithmetic autocorrelation of the Legendre sequence. Adv. Math. Commun. 11(1):237-244 .
• Erhard Aichinger. On the local closure of clones on countable sets. Algebra Univers. 78(3):355-361 .
• Wilfried Meidl, Ísabel Piršić. On the normality of $p$-ary bent functions. ArXiv 1706.06427v1.
• M. Su, A. Winterhof. On the pseudorandomness of quaternary sequences derived from sequences over \(\mathbb{F}_4\). Period. Math. Hung. 74(1):79-87 .
• Lin Jiu, Diane Yahui Shi. Orthogonal Polynomials and Lattice Path Interpretation for Higher-order Euler Polynomials. ArXiv 1711.07100v4.
• Thor Martinsen, Wilfried Meidl, Pantelimon Stănică. Partial spread and vectorial generalized bent functions. Des. Codes Cryptography 85(1):1-13 .
• Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar. Planar linkages following a prescribed motion. Math. Comput. 86(303):473-506.
• Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar. Planar linkages following a prescribed motion. Math. Comput. 86(303):473-506 .
• Balázs Boros, Josef Hofbauer, Stefan Müller, Georg Regensburger. Planar S-systems: Global stability and the center problem. ArXiv 1707.02104v1.
• Balázs Boros, Josef Hofbauer, Stefan Müller, Georg Regensburger. Planar S-systems: Global stability and the center problem. ArXiv 1707.02104v2.
• Peter Mayr, Nik Ruskuc. Presentations for subrings and subalgebras of finite co-rank. ArXiv 1709.04435v1.
• Peter Mayr, Nik Ruskuc. Presentations for subrings and subalgebras of finite co-rank. ArXiv 1709.04435v2.
• Peter Mayr, Nik Ruskuc. Presentations for subrings and subalgebras of finite co-rank. ArXiv 1709.04435v3.
• Peter Mayr, Nik Ruskuc. Presentations for subrings and subalgebras of finite co-rank. ArXiv 1709.04435v4.
• Peter Mayr, Nik Ruskuc. Presentations for subrings and subalgebras of finite co-rank. ArXiv 1709.04435v5.
• Mehdi Makhul, Josef Schicho, Matteo Gallet. Probabilities of incidence between lines and a plane curve over finite fields. ArXiv 1711.06021v1.
• Mehdi Makhul, Josef Schicho, Matteo Gallet. Probabilities of incidence between lines and a plane curve over finite fields. ArXiv 1711.06021v2.
• Mehdi Makhul, Josef Schicho, Matteo Gallet. Probabilities of incidence between lines and a plane curve over finite fields. ArXiv 1711.06021v3.
• Aina Niemetz, Mathias Preiner, Armin Biere. Propagation based local search for bit-precise reasoning. Form. Methods Syst. Des. 51(3):608-636 .
• Milan Petrík, Thomas Vetterlein. Rees coextensions of finite, negative tomonoids. J. Log. Comput. 27(1):337-356 .
• Johannes Blümlein, Mark Round, Carsten Schneider. Refined Holonomic Summation Algorithms in Particle Physics. ArXiv 1706.03677v1.
• Johannes Blümlein, Mark Round, Carsten Schneider. Refined Holonomic Summation Algorithms in Particle Physics. ArXiv 1706.03677v2.
• Christoph Fürst, Alexander Levin. Relative reduction and Buchberger’s algorithm in filtered free modules. Math. Comput. Sci. 11(3-4):329-339 .
• Evans Doe Ocansey, Carsten Schneider. Representing ($q$--)hypergeometric products and mixed versions in difference rings. ArXiv 1705.01368v2.
• Evans Doe Ocansey, Carsten Schneider. Representing ($q$--)hypergeometric products and mixed versions in difference rings. ArXiv 1705.01368v1.
• Marijn J. H. Heule, Martina Seidl, Armin Biere. Solution validation and extraction for QBF preprocessing. J. Autom. Reasoning 58(1):97-125 .
• Marijn J. H. Heule, Martina Seidl, Armin Biere. Solution Validation and Extraction for QBF Preprocessing. J. Autom. Reasoning 58(1):97-125.
• Shaoshi Chen, Manuel Kauers. Some open problems related to creative telescoping. J. Systems Science & Complexity 30(1):154-172.
• . Special issue on program verification, automated debugging and symbolic computation. J. Symb. Comput. 80, Part 1, 1-3 .
• Tudor Jebelean, Wei Li, Dongming Wang. Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80:1-3.
• Erhard Aichinger, Sebastian Kreinecker. Subnearrings of $(\mathbb{Z}[x],+,\circ)$. ArXiv 1709.01345v1.
• Carsten Schneider. Summation Theory II: Characterizations of RΠΣ⁎-extensions and algorithmic aspects. J. Symb. Comput. 80:616-664.
• Carsten Schneider. Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects. J. Symb. Comput. 80, Part 3, 616-664 .
• Balázs Boros, Josef Hofbauer, Georg Regensburger, Stefan Müller. The center problem for the Lotka reactions with generalized mass-action kinetics. ArXiv 1702.00707v1.
• Ísabel Pirsic, Wolfgang Stockinger. The Champernowne constant is not Poissonian. ArXiv 1710.09313v2.
• 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. ArXiv 1712.00745v1.
• Johannes Blümlein, Carsten Schneider. The method of arbitrarily large moments to calculate single scale processes in quantum field theory. Phys. Lett., B 771, 31-36 .
• Johannes Blümlein, Carsten Schneider. The Method of Arbitrarily Large Moments to Calculate Single Scale Processes in Quantum Field Theory. ArXiv 1701.04614v1.
• Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. The number of realizations of a Laman graph. ArXiv 1701.05500v2.
• Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. The number of realizations of a Laman graph. ArXiv 1701.05500v1.
• J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald. The Three Loop Two-Mass Contribution to the Gluon Vacuum Polarization. ArXiv 1710.04500v1.
• 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, N_F)}$. ArXiv 1705.01508v1.
• J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\). Nucl. Phys., B 922, 1-40 .
• 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. ArXiv 1711.06717v1.
• 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. ArXiv 1705.07030v1.
• 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, 585-688 .
• Peter Kritzer, Helene Laimer, Friedrich Pillichshammer. Tractability of $\mathbb{L}_2$-approximation in hybrid function spaces. ArXiv 1701.02910v1.
• Friedrich Pillichshammer. Tractability properties of the weighted star discrepancy of regular grids. ArXiv 1710.00573v1.
• Aicke Hinrichs, Peter Kritzer, Friedrich Pillichshammer, G. W. Wasilkowski. Truncation Dimension for Linear Problems on Multivariate Function Spaces. ArXiv 1701.06778v3.
• Peter Kritzer, Friedrich Pillichshammer, G. W. Wasilkowski. Truncation in Average and Worst Case Settings for Special Classes of $\infty$-Variate Functions. ArXiv 1709.02113v1.
• Ahmed Blidia, Bernard Mourrain, Nelly Villamizar. \(G^1\)-smooth splines on quad meshes with 4-split macro-patch elements. Comput. Aided Geom. Des. 52-53, 106-125 .