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

▪▪▪ 2020 ▪ 2019 ▪ 2018 ▪ 2017 ▪ 2016 ▪▪▪

• Wilfried Meidl. A secondary construction of bent functions, octal gbent functions and their duals. Math. Comput. Simul. 143, 57-64 .
• Maria Francis, Thibaut Verron. A Signature-based Algorithm for computing Computing Gr\"obner Bases over Principal Ideal Domains. ArXiv 1802.01388v3.
• Manuel Kauers, Doron Zeilberger. A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. ArXiv 1805.09057v1.
• Jakob Ablinger, Carsten Schneider. Algebraic independence of sequences generated by (cyclotomic) harmonic sums. Ann. Comb. 22(2):213-244 .
• Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger. Algorithmic operator algebras via normal forms in tensor rings. J. Symb. Comput. 85, 247-274 .
• Johannes Blümlein, Carsten Schneider. Analytic Computing Methods for Precision Calculations in Quantum Field Theory. ArXiv 1809.02889v1.
• Johannes Blümlein, Carsten Schneider. Analytic computing methods for precision calculations in quantum field theory. Int. J. Mod. Phys. A 33(17):Article ID 1830015, 35 p. .
• J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider. Automated Solution of First Order Factorizable Systems of Differential Equations in One Variable. ArXiv 1810.12261v1.
• Ayça Çeşmelioğlu, Wilfried Meidl. Bent and vectorial bent functions, partial difference sets, and strongly regular graphs. Adv. Math. Commun. 12(4):691-705 .
• Erhard Aichinger. Bounding the free spectrum of nilpotent algebras of prime power order. ArXiv 1805.01796v1.
• Erhard Aichinger. Bounding the free spectrum of nilpotent algebras of prime power order. ArXiv 1805.01796v2.
• Leyla Işık, Arne Winterhof. Carlitz rank and index of permutation polynomials. Finite Fields Appl. 49, 156-165 .
• Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal. Complexity of term representations of finitary functions. Int. J. Algebra Comput. 28(6):1101-1118 .
• Thieu N. Vo, Georg Grasegger, Franz Winkler. Computation of all rational solutions of first-order algebraic ODEs. Adv. Appl. Math. 98, 1-24 .
• Johannes Blümlein, Carsten Schneider. Computer algebra tools for Feynman integrals and related multi-sums. ArXiv 1809.06168v1.
• Erhard Aichinger. Congruence lattices forcing nilpotency. J. Algebra Appl. 17(2):Article ID 1850033, 24 p. .
• Lin Jiu, Christophe Vignat. Connection Coefficients for Higher-order Bernoulli and Euler Polynomials: A Random Walk Approach. ArXiv 1809.04636v1.
• F. Gericke, M. Segnon, M. von Helversen, C. Hopfmann, T. Heindel, C. Schneider, S. Höfling, M. Kamp, A. Musiał, X. Porte, C. Gies, S. Reitzenstein. Controlling the gain contribution of background emitters in few-quantum-dot microlasers. New J. Phys. 20(2):Article ID 023036, 14 p. .
• N. Thieu Vo, Georg Grasegger, Franz Winkler. Deciding the existence of rational general solutions for first-order algebraic ODEs. J. Symb. Comput. 87, 127-139 .
• Christoph Koutschan, Yi Zhang. Desingularization in the $q$-Weyl algebra. ArXiv 1801.04160v1.
• Christoph Koutschan, Yi Zhang. Desingularization in the $q$-Weyl algebra. ArXiv 1801.04160v2.
• Christoph Koutschan, Yi Zhang. Desingularization in the \(q\)-Weyl algebra. Adv. Appl. Math. 97, 80-101 .
• Y. Abdelaziz, S. Boukraa, C. Koutschan, J-M. Maillard. Diagonals of rational functions, pullbacked 2F1 hypergeometric functions and modular forms (unabrigded version). ArXiv 1805.04711v1.
• Y. Abdelaziz, S. Boukraa, C. Koutschan, J.-M. Maillard. Diagonals of rational functions, pullbacked \(\mathbf{_2F_1}\) hypergeometric functions and modular forms. J. Phys. A, Math. Theor. 51(45):Article ID 455201, 30 p. .
• Erhard Aichinger, Florian Aichinger. Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory. ArXiv 1812.03024v1.
• Ralph Kritzinger, Friedrich Pillichshammer. Digital nets in dimension two with the optimal order of $L_p$ discrepancy. ArXiv 1804.04891v1.
• Sibylle Möhle, Armin Biere. Dualizing Projected Model Counting. Proc. ICTAI 2018, pp. 702-709.
• Mariemi E. Alonso, Francisco J. Castro-Jiménez, Herwig Hauser, Christoph Koutschan. Echelons of power series and Gabrielov’s counterexample to nested linear Artin approximation. Bull. Lond. Math. Soc. 50(4):649-662 .
• M. E. Alonso, F. J. Castro-Jiménez, H. Hauser, C. Koutschan. Echelons of power series and Gabrielov's counterexample to nested linear Artin Approximation. ArXiv 1804.08160v1.
• . Editorial. Math. Comput. Simul. 143, 1-2 .
• Sean Dewar. Equivalence of continuous, local and infinitesimal rigidity in normed spaces. ArXiv 1809.01871v1.
• Samir Hodžić, Wilfried Meidl, Enes Pasalic. Full characterization of generalized bent functions as (semi)-bent spaces, their dual, and the Gray image. IEEE Trans. Inf. Theory 64(7):5432-5440 .
• Georg Grasegger, Jan Legerský, Josef Schicho. Graphs with Flexible Labelings allowing Injective Realizations. ArXiv 1811.06709v2.
• Alexander Maletzky, Fabian Immler. Gr\"obner Bases of Modules and Faug\`ere's $F_4$ Algorithm in Isabelle/HOL. ArXiv 1805.00304v1.
• Ming Su, Arne Winterhof. Hamming correlation of higher order. Adv. Math. Commun. 12(3):505-513 .
• J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider. Heavy Quark Form Factors at Three Loops in the Planar Limit. ArXiv 1804.07313v1.
• David M. Cerna, Temur Kutsia. Higher-Order Equational Pattern Anti-Unification. Proc. FSCD 2018, pp. 12:1-12:17.
• Sean Dewar. Infinitesimal rigidity in normed planes. ArXiv 1812.06022v1.
• Manfred Buchacher, Manuel Kauers. Inhomogeneous Restricted Lattice Walks. ArXiv 1811.06725v1.
• 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(6):062305, 54 p. .
• Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere. Local redundancy in SAT: generalizations of blocked clauses. Log. Methods Comput. Sci. 14(4):Paper No. 3, 23 p. .
• Francesc Esteva, Lluís Godo, Thomas Vetterlein. Logic for approximate entailment in ordered universes of discourse. ArXiv 1808.10312v1.
• Thomas Vetterlein. Logic of Approximate Entailment in quasimetric spaces. ArXiv 1808.10320v1.
• Jakob Ablinger, Johannes Bluemlein, Peter Marquard, Narayan Rana, Carsten Schneider. Massive three loop form factors in the planar limit. ArXiv 1807.05943v2.
• Nurdagül Anbar, Wilfried Meidl. Modified planar functions and their components. Cryptogr. Commun. 10(2):235-249 .
• Arne Winterhof, Oğuz Yayla, Volker Ziegler. Non-existence of some nearly perfect sequences, near Butson-Hadamard matrices, and near conference matrices. Math. Comput. Sci. 12(4):465-471 .
• J. Ablinger, J. Blümlein, M. Round, C. Schneider. Numerical Implementation of Harmonic Polylogarithms to Weight w = 8. ArXiv 1809.07084v1.
• Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama. On Affine Tropical F5 Algorithms. ArXiv 1805.06183v1.
• Peter Kritzer, Friedrich Pillichshammer, Leszek Plaskota, G. W. Wasilkowski. On efficient weighted integration via a change of variables. ArXiv 1812.04259v1.
• Richard Hofer, Arne Winterhof. On the 2-adic complexity of the two-prime generator. IEEE Trans. Inf. Theory 64(8):5957-5960 .
• Isao Kiuchi, Friedrich Pillichshammer, Sumaia Saad Eddin. On the multivariable generalization of Anderson-Apostol sums. ArXiv 1811.06022v2.
• Wilfried Meidl, Ísabel Pirsic. On the normality of \(p\)-ary bent functions. Cryptogr. Commun. 10(6):1037-1049 .
• László Mérai, Arne Winterhof. On the pseudorandomness of automatic sequences. Cryptogr. Commun. 10(6):1013-1022 .
• Ronny Ramlau, Christoph Koutschan, Bernd Hofmann. On the singular value decomposition of n-fold integration operators. ArXiv 1811.11642v1.
• László Mérai, Arne Winterhof. On the \(N\)th linear complexity of automatic sequences. J. Number Theory 187, 415-429 .
• Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler. Rational general solutions of systems of first-order algebraic partial differential equations. J. Comput. Appl. Math. 331, 88-103 .
• Thomas Vetterlein. Real coextensions as a tool for constructing triangular norms. ArXiv 1808.10324v1.
• Thomas Vetterlein, Anna Zamansky. Reasoning with graded information: the case of diagnostic rating scales in healthcare. ArXiv 1808.10330v1.
• Matteo Gallet, Niels Lubbes, Josef Schicho, Jan Vršek. Reconstruction of surfaces with ordinary singularities from their silhouettes. ArXiv 1810.05559v1.
• Matteo Gallet, Niels Lubbes, Josef Schicho, Jan Vršek. Reconstruction of surfaces with ordinary singularities from their silhouettes. ArXiv 1810.05559v2.
• Milan Petr\' ik, Thomas Vetterlein. Rees coextensions of finite, negative tomonoids. ArXiv 1808.10317v1.
• Manuel Kauers, Martina Seidl. Short Proofs for Some Symmetric Quantified Boolean Formulas. ArXiv 1804.01437v1.
• Manuel Kauers, Martina Seidl. Symmetries of Quantified Boolean Formulas. ArXiv 1802.03993v1.
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Term-Graph Anti-Unification. Proc. FSCD 2018, pp. 9:1-9:17.
• Balázs Boros, Josef Hofbauer, Stefan Müller, Georg Regensburger. The center problem for the Lotka reactions with generalized mass-action kinetics. Qual. Theory Dyn. Syst. 17(2):403-410 .
• Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho. The number of realizations of a Laman graph. SIAM J. Appl. Algebra Geom. 2(1):94-125 .
• Andrei Bulatov, Peter Mayr, Ágnes Szendrei. The Subpower Membership Problem for Finite Algebras with Cube Terms. ArXiv 1803.08019v1.
• Andrei Bulatov, Peter Mayr, Ágnes Szendrei. The Subpower Membership Problem for Finite Algebras with Cube Terms. ArXiv 1803.08019v2.
• Andrei Bulatov, Peter Mayr, Ágnes Szendrei. The Subpower Membership Problem for Finite Algebras with Cube Terms. ArXiv 1803.08019v3.
• Andrei Bulatov, Peter Mayr, Ágnes Szendrei. The Subpower Membership Problem for Finite Algebras with Cube Terms. ArXiv 1803.08019v4.
• 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)}$. ArXiv 1804.02226v1.
• 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_{g g, Q}^{(3)}\). Nucl. Phys., B 932, 129-240 .
• 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, 339-367 .
• J. Blümlein, A. De Freitas, C. Schneider, K. Schönwald. The Variable Flavor Number Scheme at Next-to-Leading Order. ArXiv 1804.03129v1.
• Peter Paule, Carsten Schneider. Towards a symbolic summation theory for unspecified sequences. ArXiv 1809.06578v1.
• Aicke Hinrichs, Friedrich Pillichshammer, Shu Tezuka. Tractability properties of the weighted star discrepancy of the Halton sequence. ArXiv 1803.06101v1.
• J. Ablinger, J. Blümlein, A. De Freitas, A. Goedicke, C. Schneider, K. Schönwald. Two-mass three-loop effects in deep-inelastic scattering. ArXiv 1807.07855v1.
• Matteo Gallet, Kristian Ranestad, Nelly Villamizar. Varieties of apolar subschemes of toric surfaces. Ark. Mat. 56(1):73-99 .
• Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. Vectorial bent functions and their duals. Linear Algebra Appl. 548, 305-320 .