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

▪▪▪ 2016 ▪ 2015 ▪ 2014 ▪ 2013 ▪ 2012 ▪▪▪

• Tim Boykett, Gerhard Wendt. $\mathcal{J}_{2}$ radical in automata nearrings. Int. J. Found. Comput. Sci. 25(5):585-595.
• 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. ArXiv 1407.2821v1.
• Carsten Schneider. A Difference Ring Theory for Symbolic Summation. ArXiv 1408.2776v2.
• Shaoshi Chen, Manuel Kauers, Christoph Koutschan. A generalized Apagodu-Zeilberger algorithm. Proc. ISSAC 2014, pp. 107-114.
• Shaoshi Chen, Manuel Kauers, Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm. ArXiv 1402.2409v3.
• Alexander Baumgartner, Temur Kutsia. A Library of Anti-unification Algorithms. Proc. JELIA 2014, pp. 543-557.
• Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl. A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. Proc. SLE 2014, pp. 21-40.
• Carsten Schneider. A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem. ArXiv 1412.2782v2.
• Carsten Schneider. A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem. Proc. SYNASC 2014, pp. 26-33.
• Marijn Heule, Martina Seidl, Armin Biere. A Unified Proof System for QBF Preprocessing. Proc. IJCAR 2014, pp. 91-106.
• Moulay A. Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz. Algebraic and Algorithmic Aspects of Differential and Integral Operators - 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers. Lecture Notes in Computer Science.
• Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon. Améliorer SAT dans le cadre incrémental. Revue d'Intelligence Artificielle 28(5):593-614.
• Josef Schicho, Matteo Gallet. Ambiguities in a Problem in Planar Geodesy. ArXiv 1410.7630v3.
• Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-unification for Unranked Terms and Hedges. J. Autom. Reasoning 52(2):155-190.
• Erkko Lehtonen, Jean-Luc Marichal, Bruno Teheux. Associative string functions. ArXiv 1403.7540v2.
• Matteo Gallet, Georg Nawratil, Josef Schicho. Bond theory for pentapods and hexapods. ArXiv 1404.2149v2.
• Manuel Kauers. Bounds for D-finite closure properties. ArXiv 1408.5514v1.
• Manuel Kauers. Bounds for D-finite closure properties. Proc. ISSAC 2014, pp. 288-295.
• Bernard Mourrain, Nelly Villamizar. Bounds on the dimension of trivariate spline spaces: a homological approach. Math. Comput. Sci. 8(2):157-174.
• Bernard Mourrain, Nelly Villamizar. Bounds on the dimension of trivariate spline spaces: a homological approach. Math. Comput. Sci. 8(2):157-174 .
• Jakob Ablinger, Johannes Blümlein, Clemens Raab, Carsten Schneider, Fabian Wißbrock. Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms. Nucl. Phys., B 885, 409-447.
• Jakob Ablinger, Johannes Blümlein, Clemens Raab, Carsten Schneider, Fabian Wißbrock. Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms. Nucl. Phys., B 885, 409-447 .
• Jakob Ablinger, Johannes Blümlein, Clemens Raab, Carsten Schneider, Fabian Wißbrock. Calculating Massive 3-loop Graphs for Operator Matrix Elements by the Method of Hyperlogarithms. ArXiv 1403.1137v1.
• Armin Biere. Challenges in bit-precise reasoning. Proc. FMCAD 2014, pp. 3.
• Alexander Maletzky, Bruno Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. Proc. ICMS 2014, pp. 41-48.
• Armin Biere, Roderick Bloem. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science.
• Peter van der Tak, Marijn J. H. Heule, Armin Biere. Concurrent Cube-and-Conquer. ArXiv 1402.4465v1.
• Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. Proc. FLOPS 2014, pp. 285-301.
• Zhixiong Chen, Igor E. Shparlinski, Arne Winterhof. Covering sets for limited-magnitude errors. IEEE Trans. Inf. Theory 60(9):5315-5321 .
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Desingularization of Ore Operators. ArXiv 1408.5512v1.
• Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey. Detecting Cardinality Constraints in CNF. Proc. SAT 2014, pp. 285-301.
• Peter Kritzer, Gerhard Larcher, Friedrich Pillichshammer. Discrepancy estimates for index-transformed uniformly distributed sequences. ArXiv 1407.8287v1.
• Marijn Heule, Martina Seidl, Armin Biere. Efficient extraction of Skolem functions from QRAT proofs. Proc. FMCAD 2014, pp. 107-114.
• Wilfried Meidl, Sankhadip Roy, Alev Topuzoğlu. Enumeration of quadratic functions with prescribed Walsh spectrum. IEEE Trans. Inf. Theory 60(10):6669-6680 .
• Stefan Müller, Georg Regensburger, Ralf Steuer. Enzyme allocation problems in kinetic metabolic networks: optimal solutions are elementary flux modes. J. Theor. Biol. 347, 182-190 .
• Tomas Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere. Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). Proc. SAT 2014, pp. 317-332.
• Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov. Experimenting with SAT Solvers in Vampire. MICAI (1), pp. 431-442.
• Erhard Aichinger, Peter Mayr. Finitely generated equational classes. ArXiv 1403.7938v1.
• Christoph Koutschan, Erwin Suazo, Sergei K. Suslov. Fundamental Laser Modes in Paraxial Optics: From Computer Algebra and Simulations to Experimental Observation. ArXiv 1407.0730v4.
• Arne Winterhof. Generalizations of complete mappings of finite fields and some applications. J. Symb. Comput. 64, 42-52 .
• Arne Winterhof. Generalizations of complete mappings of finite fields and some applications. J. Symb. Comput. 64, 42-52.
• Stefan Müller, Georg Regensburger. Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). Proc. CASC 2014, pp. 302-323.
• Stefan Müller, Georg Regensburger. Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. ArXiv 1406.6587v1.
• Bruno Buchberger, Alexander Maletzky. Groebner Bases in Theorema. Proc. ICMS 2014, pp. 374-381.
• J. Blümlein, A. De Freitas, C. Schneider. Higher Order Heavy Quark Corrections to Deep-Inelastic Scattering. ArXiv 1411.5669v1.
• Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou. Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. Proc. SODA 2014, pp. 1644-1658.
• Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning. Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. Proc. SAT 2014, pp. 302-316.
• Christian Irrgeher, Peter Kritzer, Gunther Leobacher, Friedrich Pillichshammer. Integration in Hermite spaces of analytic functions. ArXiv 1403.5102v1.
• Zhixiong Chen, Arne Winterhof. Interpolation of Fermat quotients. SIAM J. Discrete Math. 28(1):1-7 .
• Zhixiong Chen, Arne Winterhof. Interpolation of Fermat quotients. SIAM J. Discrete Math. 28(1):1-7.
• J. Ablinger, J. Blümlein, C.G. Raab, C. Schneider. Iterated binomial sums and their associated iterated integrals. J. Math. Phys. 55(11):112301, 57 p..
• J. Ablinger, J. Blümlein, C. G. Raab, C. Schneider. Iterated binomial sums and their associated iterated integrals. J. Math. Phys. 55(11):112301, 57 p. .
• Tim Boykett, Gerhard Wendt. J2 Radical in Automata Nearrings. ArXiv 1412.1736v1.
• Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki, Hyundong Shin, Christoph Koutschan. MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method. ArXiv 1403.3788v4.
• Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. Model Checking of CTL-Extended OCL Specifications. Proc. SLE 2014, pp. 221-240.
• Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl. MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. Proc. SAT 2014, pp. 430-437.
• Matteo Gallet, Georg Nawratil, Josef Schicho. M\"obius Photogrammetry. ArXiv 1408.6716v2.
• Jakob Ablinger, Johannes Blümlein, Clemens G. Raab, Carsten Schneider. Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams. ArXiv 1407.4721v1.
• Johannes Blümlein, Ievgen Dubovyk, Janusz Gluza, Michał Ochman, Clemens G. Raab, Tord Riemann, Carsten Schneider. Non-planar Feynman integrals, Mellin-Barnes representations, multiple sums. ArXiv 1407.7832v1.
• Josef Dick, Peter Kritzer, Gunther Leobacher, Friedrich Pillichshammer. Numerical integration in $\log$-Korobov and $\log$-cosine spaces. ArXiv 1411.2715v1.
• Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer. On 3-dimensional lattice walks confined to the positive octant. ArXiv 1409.3669v2.
• Gottlieb Isabel Pirsic, Arne Winterhof. On discrete Fourier transform, ambiguity, and Hamming-autocorrelation of pseudorandom sequences. Des. Codes Cryptography 73(2):319-328 .
• Gottlieb Isabel Pirsic, Arne Winterhof. On discrete Fourier transform, ambiguity, and Hamming-autocorrelation of pseudorandom sequences. Des. Codes Cryptography 73(2):319-328.
• Erkko Lehtonen. On functions with a unique identification minor. ArXiv 1412.8595v1.
• Li Guo, Georg Regensburger, Markus Rosenkranz. On integro-differential algebras. J. Pure Appl. Algebra 218(3):456-473.
• Li Guo, Georg Regensburger, Markus Rosenkranz. On integro-differential algebras. J. Pure Appl. Algebra 218(3):456-473 .
• Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler. On Symbolic Solutions of Algebraic Partial Differential Equations. Proc. CASC 2014, pp. 111-120.
• Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron. On the complexity of computing Gr\"obner bases for weighted homogeneous systems. ArXiv 1412.7547v2.
• Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. MFCS (2), pp. 481-492.
• Erhard Aichinger. On the direct decomposition of nilpotent expanded groups. Commun. Algebra 42(6):2651-2662 .
• Erhard Aichinger. On the direct decomposition of nilpotent expanded groups. Commun. Algebra 42(6):2651-2662.
• Erhard Aichinger, Peter Mayr, Ralph McKenzie. On the number of finite algebraic structures. J. Eur. Math. Soc. (JEMS) 16(8):1673-1686 .
• Erhard Aichinger, Peter Mayr, Ralph McKenzie. On the number of finite algebraic structures. J. Eur. Math. Soc. (JEMS) 16(8):1673-1686.
• Anja Korporal, Georg Regensburger. On the product of projectors and generalized inverses. Linear Multilinear Algebra 62(12):1567-1582.
• Anja Korporal, Georg Regensburger. On the product of projectors and generalized inverses. Linear Multilinear Algebra 62(12):1567-1582 .
• Peter Hellekalek, Peter Kritzer, Friedrich Pillichshammer. Open type quasi-Monte Carlo integration based on Halton sequences in weighted Sobolev spaces. ArXiv 1411.3823v2.
• Aicke Hinrichs, Ralph Kritzinger, Friedrich Pillichshammer. Optimal order of $L_p$-discrepancy of digit shifted Hammersley point sets in dimension 2. ArXiv 1410.4315v1.
• Martina Seidl, Robert Könighofer. Partial witnesses from preprocessed quantified Boolean formulas. Proc. DATE 2014, pp. 1-6.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alev Topuzoğlu. Permutations of finite fields with prescribed properties. J. Comput. Appl. Math. 259 B, 536-545.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alev Topuzoğlu. Permutations of finite fields with prescribed properties. J. Comput. Appl. Math. 259 B, 536-545 .
• Wen-Fong Ke, Hubert Kiechle, Günter Pilz, Gerhard Wendt. Planar nearrings on the Euclidean plane. J. Geom. 105(3):577-599.
• Wen-Fong Ke, Hubert Kiechle, Günter Pilz, Gerhard Wendt. Planar nearrings on the Euclidean plane. J. Geom. 105(3):577-599 .
• Georg Grasegger, Gábor Horváth, Keith A. Kearnes. Polynomial equivalence of finite rings. J. Aust. Math. Soc. 96(2):244-257.
• Georg Grasegger, Gábor Horváth, Keith A. Kearnes. Polynomial equivalence of finite rings. J. Aust. Math. Soc. 96(2):244-257 .
• Didong Li, Huafei Sun, Chen Tao, Lin Jiu. Principal bundles over statistical manifolds. ArXiv 1403.4471v2.
• Nurdagül Anbar, Wilfried Meidl. Quadratic functions and maximal Artin-Schreier curves. Finite Fields Appl. 30, 49-71.
• Nurdagül Anbar, Wilfried Meidl. Quadratic functions and maximal Artin-Schreier curves. Finite Fields Appl. 30, 49-71 .
• Georg Grasegger. Radical solutions of first order autonomous algebraic ordinary differential equations. Proc. ISSAC 2014, pp. 217-223.
• A. 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. ArXiv 1407.3638v1.
• Johannes Bluemlein, Abilio De Freitas, Carsten Schneider. Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations. ArXiv 1407.2537v1.
• Didong Li, Huafei Sun, Chen Tao, Lin Jiu. Riemannian Holonomy Groups of Statistical Manifolds. ArXiv 1401.5706v2.
• Roderick Bloem, Robert Könighofer, Martina Seidl. SAT-Based Synthesis Methods for Safety Specs. Proc. VMCAI 2014, pp. 1-20.
• Gerhard Larcher, Friedrich Pillichshammer, Arne Winterhof, Chaoping Xing. Some highlights of Harald Niederreiter's work. ArXiv 1407.3630v1.
• Martina Seidl, Nikolai Tillmann. Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science.
• J. Ablinger, J. Blümlein, 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. Nucl. Phys., B 885, 280-317.
• Friedrich Pillichshammer. The $\boldsymbol{p}$-adic diaphony of the Halton sequence. ArXiv 1411.4801v1.
• J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function $\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})$ and transversity. Nucl. Phys., B 886, 733-823.
• J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity. Nucl. Phys., B 886, 733-823 .
• Thomas Vetterlein. The construction of left-continuous t-norms: a geometric approach in two dimensions. Fuzzy Sets Syst. 252, 1-24 .
• Thomas Vetterlein. The construction of left-continuous t-norms: a geometric approach in two dimensions. Fuzzy Sets Syst. 252, 1-24.
• J. Ablinger, J. Blümlein, 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. ArXiv 1405.4259v1.
• J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. The transition matrix element $A_{gq}(N)$ of the variable flavor number scheme at $O({\alpha}_s^3)$. Nucl. Phys., B 882, 263-288.
• J. Ablinger, J. Blümlein, 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). ArXiv 1402.0359v1.
• J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, M. Round, C. Schneider, F. Wißbrock. The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\). Nucl. Phys., B 882, 263-288 .
• J. Ablinger, J. Blümlein, 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. Nucl. Phys., B 885, 280-317 .
• Isabela Dramnesc, Tudor Jebelean. Theory exploration of sets represented as monotone lists. Proc. SISY 2014, pp. 163-168.
• Peter Kritzer, Friedrich Pillichshammer. Tractability of multivariate integration in hybrid function spaces. ArXiv 1404.3493v1.
• Aina Niemetz, Mathias Preiner, Armin Biere. Turbo-charging Lemmas on demand with don't care reasoning. Proc. FMCAD 2014, pp. 179-186.
• Tim Boykett, Gerhard Wendt. Units in Near-rings. ArXiv 1412.1739v1.
• Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. WoLLIC, pp. 66-80.
• Manuel Kauers, Rika Yatchak. Walks in the Quarter Plane with Multiple Steps. ArXiv 1411.3537v1.
• Tim Boykett, Gerhard Wendt. \(\mathcal{J}_{2}\) radical in automata nearrings. Int. J. Found. Comput. Sci. 25(5):585-595 .