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.
- 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.
- 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 .