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

▪▪▪ 2018 ▪ 2017 ▪ 2016 ▪ 2015 ▪ 2014 ▪▪▪

• Peter Kritzer, Friedrich Pillichshammer, Henryk Wozniakowski. $\boldsymbol{L}_{\infty}$-approximation in Korobov spaces with Exponential Weights. ArXiv 1602.02572v1.
• 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. ArXiv 1602.00583v1.
• Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. A case study on algorithm discovery from proofs: The insert function on binary trees. Proc. SACI 2016, pp. 231-236.
• Carsten Schneider. A difference ring theory for symbolic summation. J. Symb. Comput. 72, 82-127.
• Carsten Schneider. A difference ring theory for symbolic summation. J. Symb. Comput. 72, 82-127 .
• Katalin Fazekas, Martina Seidl, Armin Biere. A Duality-Aware Calculus for Quantified Boolean Formulas. Proc. SYNASC 2016, pp. 181-186.
• Georg Grasegger, Alberto Lastra, J.Rafael Sendra, Franz Winkler. A solution method for autonomous first-order algebraic partial differential equations. J. Comput. Appl. Math. 300, 119-133.
• Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler. A solution method for autonomous first-order algebraic partial differential equations. J. Comput. Appl. Math. 300, 119-133 .
• Jakob Ablinger, Johannes Bluemlein, Abilio de Freitas, Carsten Schneider. A toolbox to solve coupled systems of differential and difference equations. ArXiv 1601.01856v1.
• François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz. Additive normal forms and integration of differential fractions. J. Symb. Comput. 77, 16-38.
• François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz. Additive normal forms and integration of differential fractions. J. Symb. Comput. 77, 16-38 .
• Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger. Algorithmic Operator Algebras via Normal Forms for Tensors. Proc. ISSAC 2016, pp. 397-404.
• Jakob Ablinger, Arnd Behring, Johannes Bluemlein, Abilio de Freitas, Carsten Schneider. Algorithms to solve coupled systems of differential equations in terms of power series. ArXiv 1608.05376v1.
• Carsten Schneider, Robin Sulzgruber. Asymptotic and exact results on the complexity of the Novelli--Pak--Stoyanovskii algorithm. ArXiv 1606.07597v1.
• Carsten Schneider, Robin Sulzgruber. Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm. ArXiv 1606.07597v2.
• Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, A. von Manteuffel, Carsten Schneider. Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra. Computer Physics Communications 202:33-112.
• 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. Commun. 202, 33-112 .
• Nelly Villamizar, Angelos Mantzaflaris, Bert Jüttler. Characterization of bivariate hierarchical quartic box splines on a three-directional grid. Computer Aided Geometric Design 41:47-61.
• Nelly Villamizar, Angelos Mantzaflaris, Bert Jüttler. Characterization of bivariate hierarchical quartic box splines on a three-directional grid. Comput. Aided Geom. Des. 41, 47-61 .
• Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. CLP(H): Constraint logic programming for hedges. TPLP 16(2):141-162.
• Gergely Kovásznai, Andreas Fröhlich, Armin Biere. Complexity of Fixed-Size Bit-Vector Logics. Theory Comput. Syst. 59(2):323-376.
• Gergely Kovásznai, Andreas Fröhlich, Armin Biere. Complexity of fixed-size bit-vector logics. Theory Comput. Syst. 59(2):323-376 .
• Erhard Aichinger. Congruence lattices forcing nilpotency. ArXiv 1610.01800v1.
• Johannes Middeke, Carsten Schneider. Denominator bounds for higher order systems of linear recurrence equations. ACM Comm. Computer Algebra 50(4):185-187.
• Johannes Middeke, Carsten Schneider. Denominator bounds for higher order systems of linear recurrence equations. ACM Commun. Comput. Algebra 50(4):185-187 .
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Desingularization of Ore operators. J. Symb. Comput. 74, 617-626.
• Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron. Determinantal sets, singularities and application to optimal control in medical imagery. ArXiv 1605.00887v2.
• Bernard Mourrain, Raimundas Vidunas, Nelly Villamizar. Dimension and bases for geometrically continuous splines on surfaces of arbitrary topology. Computer Aided Geometric Design 45:108-133.
• Bernard Mourrain, Raimundas Vidunas, Nelly Villamizar. Dimension and bases for geometrically continuous splines on surfaces of arbitrary topology. Comput. Aided Geom. Des. 45, 108-133 .
• Josef Dick, Aicke Hinrichs, Lev Markhasin, Friedrich Pillichshammer. Discrepancy of second order digital sequences in function spaces with dominating mixed smoothness. ArXiv 1604.08713v2.
• Tim Boykett. Distribution and Generalized Center in Planar Nearrings. ArXiv 1607.01204v1.
• Tim Boykett. Distribution and Generalized Center in Planar Nearrings. ArXiv 1607.01204v2.
• Christian Krattenthaler, Carsten Schneider. Evaluation of binomial double sums involving absolute values. ArXiv 1607.05314v2.
• Christian Krattenthaler, Carsten Schneider. Evaluation of binomial double sums involving absolute values. ArXiv 1607.05314v3.
• Christian Krattenthaler, Carsten Schneider. Evaluation of binomial double sums involving absolute values. ArXiv 1607.05314v1.
• Constantin Costi Siriteanu, Akimichi Takemura, Christoph Koutschan, Satoshi Kuriki, Donald St. P. Richards, Hyundong Shin. Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading. IEEE Trans. Wireless Communications 15(8):5245-5259.
• Manuel Kauers, Doron Zeilberger. Factorization of C-finite Sequences. ArXiv 1601.02756v1.
• Arne Winterhof, Oğuz Yayla. Family complexity and cross-correlation measure for families of binary sequences. Ramanujan J. 39(3):639-645 .
• Arne Winterhof, Oğuz Yayla. Family complexity and cross-correlation measure for families of binary sequences. Ramanujan J. 39(3):639-645.
• Tim Boykett, Jarkko Kari, Ville Salo. Finite generating sets for reversible gate sets under general conservation laws. ArXiv 1611.01523v1.
• Erhard Aichinger, Marijana Lazić, Nebojša Mudrinski. Finite generation of congruence preserving functions. Monatsh. Math. 181(1):35-62 .
• Erhard Aichinger, Marijana Lazić, Nebojša Mudrinski. Finite generation of congruence preserving functions. Monatsh. Math. 181(1):35-62.
• Erhard Aichinger, Peter Mayr. Finitely generated equational classes. J. Pure Appl. Algebra 220(8):2816-2827 .
• Erhard Aichinger, Peter Mayr. Finitely generated equational classes. J. Pure Appl. Algebra 220(8):2816-2827.
• Peter Mayr, Nik Ruskuc. Finiteness properties of direct products of algebraic structures. ArXiv 1604.05408v2.
• Peter Mayr, Nik Ruskuc. Finiteness properties of direct products of algebraic structures. ArXiv 1604.05408v1.
• Wilfried Meidl. Generalized Rothaus construction and non-weakly regular bent functions. J. Comb. Theory, Ser. A 141, 78-89.
• Wilfried Meidl. Generalized Rothaus construction and non-weakly regular bent functions. J. Comb. Theory, Ser. A 141, 78-89 .
• Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi. Greedy combinatorial test case generation using unsatisfiable cores. Proc. ASE 2016, pp. 614-624.
• 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. ArXiv 1611.01104v1.
• Christoph Koutschan, Peter Paule. Holonomic Tools for Basic Hypergeometric Functions. ArXiv 1602.00454v1.
• Manuel Kauers, Ryan O’Donnell, Li-Yang Tan, Yuan Zhou. Hypercontractive inequalities via Sós, and the Frankl-Rödl graph. Discrete Anal. 1, Paper No. 4, 20 p..
• 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. ArXiv 1606.02982v1.
• 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. ArXiv 1606.02982v3.
• Lin Jiu. Integral representations of equally positive integer-indexed harmonic sums at infinity. ArXiv 1611.04102v2.
• Alexander Maletzky. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. Proc. ICMS 2016, pp. 59-66.
• Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu. Inverse Inequality Estimates with Symbolic Computation. ArXiv 1602.01304v2.
• Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu. Inverse inequality estimates with symbolic computation. Adv. Appl. Math. 80, 1-23.
• Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu. Inverse inequality estimates with symbolic computation. Adv. Appl. Math. 80, 1-23 .
• Josef Dick, Friedrich Pillichshammer, Kosuke Suzuki, Mario Ullrich, Takehito Yoshiki. Lattice based integration algorithms: Kronecker sequences and rank-1 lattices. ArXiv 1608.08687v1.
• S. Hassani, C. Koutschan, J-M. Maillard, N. Zenine. Lattice Green Functions: the d-dimensional face-centred cubic lattice, d=8, 9, 10, 11, 12. ArXiv 1601.05657v2.
• S. Hassani, Ch. Koutschan, J.-M. Maillard, N. Zenine. Lattice Green functions: the \(d\)-dimensional face-centered cubic lattice, \(d = 8, 9, 10, 11, 12\). J. Phys. A, Math. Theor. 49(16):Article ID 164003, 30 p. .
• Sebastian Gabmeyer, Martina Seidl. Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. Proc. TAP 2016, pp. 94-111.
• Thomas Vetterlein, Francesc Esteva, Lluís Godo. Logics for approximate entailment in ordered universes of discourse. Int. J. Approx. Reasoning 71, 50-63 .
• Thomas Vetterlein, Francesc Esteva, Lluís Godo. Logics for approximate entailment in ordered universes of discourse. Int. J. Approx. Reasoning 71, 50-63.
• Alexander Maletzky. Mathematical Theory Exploration in Theorema: Reduction Rings. ArXiv 1602.04339v1.
• Alexander Maletzky. Mathematical Theory Exploration in Theorema: Reduction Rings. Proc. CICM 2016, pp. 3-17.
• Lin Jiu, Diane Yahui Shi. Matrix Representation for Multiplicative Nested Sums. ArXiv 1611.02425v3.
• Mario Neumüller, Friedrich Pillichshammer. Metrical star discrepancy bounds for lacunary subsequences of digital Kronecker-sequences and polynomial tractability. ArXiv 1605.00378v2.
• Matteo Gallet, Georg Nawratil, Josef Schicho, J. M. Selig. Mobile Icosapods. ArXiv 1603.07304v1.
• Christoph Koutschan. Motion polynomials and planar linkages. ACM Comm. Computer Algebra 50(3):109-112.
• Christoph Koutschan. Motion polynomials and planar linkages. ACM Commun. Comput. Algebra 50(3):109-112 .
• Wilfried Meidl, Harald Niederreiter. Multisequences with high joint nonlinear complexity. Des. Codes Cryptography 81(2):337-346.
• Wilfried Meidl, Harald Niederreiter. Multisequences with high joint nonlinear complexity. Des. Codes Cryptography 81(2):337-346 .
• J. Ablinger, A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. New Results on Massive 3-Loop Wilson Coefficients in Deep-Inelastic Scattering. ArXiv 1609.03397v2.
• Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger. Normal Forms for Operators via Gröbner Bases in Tensor Algebras. Proc. ICMS 2016, pp. 505-513.
• Michael Drmota, Manuel Kauers, Lukas Spiegelhofer. On a conjecture of cusick concerning the sum of digits of $n$ and $n+t$. SIAM J. Discrete Math. 30(2):621-649.
• Lin Jiu, Christophe Vignat. On Binomial Identities in Arbitrary Bases. ArXiv 1602.04149v1.
• Erhard Aichinger. On function compositions that are polynomials. ArXiv 1601.01779v1.
• Thomas Vetterlein. On positive commutative tomonoids. Algebra Univers. 75(4):381-404 .
• Thomas Vetterlein. On positive commutative tomonoids. Algebra Univers. 75(4):381-404.
• László Mérai, Arne Winterhof. On the linear complexity profile of some sequences derived from elliptic curves. Des. Codes Cryptography 81(2):259-267 .
• László Mérai, Arne Winterhof. On the linear complexity profile of some sequences derived from elliptic curves. Des. Codes Cryptography 81(2):259-267.
• Erhard Aichinger. On the local closure of clones on countable sets. ArXiv 1609.03722v1.
• László Mérai, Arne Winterhof. On the pseudorandomness of the Liouville function of polynomials over a finite field. Unif. Distrib. Theory 11(1):47-58 .
• Christoph Aistleitner, Gerhard Larcher, Friedrich Pillichshammer, Sumaia Saad Eddin, Robert F. Tichy. On Weyl products and uniform distribution modulo one. ArXiv 1609.04929v1.
• Josef Dick, Aicke Hinrichs, Lev Markhasin, Friedrich Pillichshammer. Optimal $L_p$-discrepancy bounds for second order digital sequences. ArXiv 1601.07281v2.
• Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer. P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications), pp. 10:1-10:5.
• Aina Niemetz, Mathias Preiner, Armin Biere. Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories. CAV (1), pp. 199-217.
• David M. Cerna, Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. Proc. RV 2016, pp. 135-151.
• Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Proof-Based Synthesis of Sorting Algorithms for Trees. Proc. LATA 2016, pp. 562-575.
• Florian Lonsing, Uwe Egly, Martina Seidl. Q-Resolution with Generalized Axioms. Proc. SAT 2016, pp. 435-452.
• Thomas Vetterlein. Real coextensions as a tool for constructing triangular norms. Inf. Sci. 348, 357-376 .
• Thomas Vetterlein, Anna Zamansky. Reasoning with graded information: the case of diagnostic rating scales in healthcare. Fuzzy Sets Syst. 298, 207-221 .
• Shaoshi Chen, Manuel Kauers, Christoph Koutschan. Reduction-Based Creative Telescoping for Algebraic Functions. ArXiv 1602.00424v1.
• Shaoshi Chen, Manuel Kauers, Christoph Koutschan. Reduction-Based Creative Telescoping for Algebraic Functions. Proc. ISSAC 2016, pp. 175-182.
• Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan. Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. ArXiv 1611.07421v1.
• Evans Doe Ocansey, Carsten Schneider. Representation of hypergeometric products in difference rings. ACM Comm. Computer Algebra 50(4):161-163.
• Evans Doe Ocansey, Carsten Schneider. Representation of hypergeometric products in difference rings. ACM Commun. Comput. Algebra 50(4):161-163 .
• Tomas Balyo, Armin Biere, Markus Iser, Carsten Sinz. SAT Race 2015. Artif. Intell. 241:45-65.
• Tomáš Balyo, Armin Biere, Markus Iser, Carsten Sinz. SAT race 2015. Artif. Intell. 241, 45-65 .
• Stefan Müller, Elisenda Feliu, Georg Regensburger, Carsten Conradi, Anne Shiu, Alicia Dickenstein. Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry. Found. Comput. Math. 16(1):69-97.
• Stefan Müller, Elisenda Feliu, Georg Regensburger, Carsten Conradi, Anne Shiu, Alicia Dickenstein. Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry. Found. Comput. Math. 16(1):69-97 .
• Shaoshi Chen, Manuel Kauers. Some Open Problems related to Creative Telescoping. ArXiv 1609.03768v1.
• Erhard Aichinger, Rika Yatchak. Sonata: a GAP tool for nearring computations. ACM Comm. Computer Algebra 50(3):89-92.
• Erhard Aichinger, Rika Yatchak. SONATA: a GAP tool for nearring computations. ACM Commun. Comput. Algebra 50(3):89-92 .
• Moulay (ed.) Barkatou, Thomas (ed.) Cluzeau, Alexey (ed.) Ovchinnikov, Georg (ed.) Regensburger, Markus (ed.) Rosenkranz. Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. 72, 1-3.
• . Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. 72, 1-3 .
• . Special issue on the conference ISSAC 2014: symbolic computation and computer algebra. J. Symb. Comput. 75, 1-3 .
• Canan Kaşıkcı, Wilfried Meidl, Alev Topuzoğlu. Spectra of a class of quadratic functions: average behaviour and counting functions. Cryptogr. Commun. 8(2):191-214, electronic only.
• Canan Kaşıkcı, Wilfried Meidl, Alev Topuzoğlu. Spectra of a class of quadratic functions: average behaviour and counting functions. Cryptogr. Commun. 8(2):191-214 .
• Tim Boykett, Jarkko Kari, Ville Salo. Strongly Universal Reversible Gate Sets. ArXiv 1602.04967v2.
• Tim Boykett, Jarkko Kari, Ville Salo. Strongly Universal Reversible Gate Sets. Proc. RC 2016, pp. 239-254.
• Carsten Schneider. Summation Theory II: Characterizations of $\boldsymbol{R\Pi\Sigma^*}$-extensions and algorithmic aspects. ArXiv 1603.04285v2.
• Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere. Super-Blocked Clauses. Proc. IJCAR 2016, pp. 45-61.
• Clemens G. Raab. Symbolic Computation of Parameter Integrals. Proc. ISSAC 2016, pp. 13-15.
• Georg Regensburger. Symbolic Computation with Integro-Differential Operators. Proc. ISSAC 2016, pp. 17-18.
• Carsten Schneider. Symbolic Summation in Difference Rings and Applications. Proc. ISSAC 2016, pp. 9-12.
• Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup. The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. Proc. SYNT@CAV 2016, pp. 149-177.
• Thomas Vetterlein. The approximation of left-continuous t-norms. Fuzzy Sets Syst. 292, 411-423 .
• 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)$. ArXiv 1609.06255v1.
• Matteo Gallet, Elia Saini. The diffeomorphism type of small hyperplane arrangements is combinatorially determined. ArXiv 1601.05705v3.
• Matteo Gallet, Elia Saini. The diffeomorphism type of small hyperplane arrangements is combinatorially determined. ArXiv 1601.05705v4.
• Tim Boykett, Karin-Therese Howell. The multiplicative automorphisms of a finite nearfield, with an application. Commun. Algebra 44(6):2336-2350 .
• Tim Boykett, Karin-Therese Howell. The Multiplicative Automorphisms of a Finite Nearfield, with an Application. ArXiv 1602.00231v1.
• Tim Boykett, Karin-Therese Howell. The multiplicative automorphisms of a finite nearfield, with an application. Commun. Algebra 44(6):2336-2350.
• Florian Lonsing, Martina Seidl, Allen Van Gelder. The QBF Gallery: Behind the scenes. Artif. Intell. 237:92-114.
• Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl. The subpower membership problem for semigroups. ArXiv 1603.09333v2.
• Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: computer-assisted natural-style mathematics. J. Formaliz. Reason. 9(1):149-185 .
• Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formalized Reasoning 9(1):149-185.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. There are infinitely many bent functions for which the dual is not bent. IEEE Trans. Inf. Theory 62(9):5204-5208 .
• Peter Kritzer, Friedrich Pillichshammer, G. W. Wasilkowski. Truncation Dimension for Function Approximation. ArXiv 1610.02852v1.
• Tim Boykett, Gerhard Wendt. Units in near-rings. Commun. Algebra 44(4):1478-1495 .
• Tim Boykett, Gerhard Wendt. Units in near-rings. Commun. Algebra 44(4):1478-1495.
• Alexander Maletzky. Verifying Buchberger's Algorithm in Reduction Rings. ArXiv 1604.08736v1.
• Manuel Kauers, Peter Paule, Greg Reid. Workshop on symbolic combinatorics and algorithmic differential algebra. ACM Comm. Computer Algebra 50(1):27-34.