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

▪▪▪ 2013 ▪ 2012 ▪ 2011 ▪ 2010 ▪ 2009 ▪▪▪

• J. Ablinger, J. Blümlein, S. Klein, C. Schneider, F. Wissbrock. 3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines. ArXiv 1106.5937v1.
• Erhard Aichinger, Stefan Steinerberger. A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions. Arch. Math. 97(2):115-124 .
• Erhard Aichinger, Stefan Steinerberger. A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions. Arch. Math. 97(2):115-124.
• Manuel Kauers, Carsten Schneider. A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. ArXiv 1101.2803v1.
• Manuel Kauers, Carsten Schneider. A refined denominator bounding algorithm for multivariate linear difference equations. Proc. ISSAC 2011, pp. 201-208.
• Christoph Koutschan, Thotsaporn "Aek" Thanatipanonda. Advanced Computer Algebra for Determinants. ArXiv 1112.0647v3.
• Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges. Proc. RTA 2011, pp. 219-234.
• Armin Biere, Florian Lonsing, Martina Seidl. Blocked Clause Elimination for QBF. Proc. CADE 2011, pp. 101-115.
• Hassan Aly, Arne Winterhof. Boolean functions derived from Fermat quotients. Cryptogr. Commun. 3(3):165-174 .
• Hassan Aly, Arne Winterhof. Boolean functions derived from Fermat quotients. Cryptogr. Commun. 3(3):165-174, electronic only.
• Bruno Buchberger, Manuel Kauers. Buchberger's algorithm. Scholarpedia 6(10):7764.
• Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl. Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. ArXiv 1104.4208v2.
• Nina Brandstätter, Gottlieb Pirsic, Arne Winterhof. Correlation of the two-prime Sidel’nikov sequence. Des. Codes Cryptography 59(1-3):59-68 .
• Nina Brandstätter, Gottlieb Pirsic, Arne Winterhof. Correlation of the two-prime Sidel’nikov sequence. Des. Codes Cryptography 59(1-3):59-68.
• Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere. Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. Haifa Verification Conference, pp. 50-65.
• Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the family of Sugeno-Weber t-norms. Fuzzy Sets Syst. 181(1):74-87.
• Marijn Heule, Matti Järvisalo, Armin Biere. Efficient CNF Simplification Based on Binary Implication Graphs. Proc. SAT 2011, pp. 201-215.
• Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz. Exact and asymptotic results for insurance risk models with surplus-dependent premiums. ArXiv 1110.5276v1.
• Florian Lonsing, Armin Biere. Failed Literal Detection for QBF. Proc. SAT 2011, pp. 259-272.
• Demis Ballis, Temur Kutsia. Foreword. J. Symb. Comput. 46(2):93-94.
• Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Harmonic sums and polylogarithms generated by cyclotomic polynomials. J. Math. Phys. 52(10):102301, 52 p..
• Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Harmonic sums and polylogarithms generated by cyclotomic polynomials. J. Math. Phys. 52(10):102301, 52 p. .
• Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials. ArXiv 1105.6063v1.
• Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proc. Am. Math. Soc. 139(2):535-545.
• Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proc. Am. Math. Soc. 139(2):535-545 .
• Clemens G. Raab. Integration in finite terms of non-liouvillian functions. ACM Comm. Computer Algebra 45(1/2):133-134.
• Clemens G. Raab. Integration in finite terms of non-Liouvillian functions. ACM Commun. Comput. Algebra 45(2):133-134 .
• Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv 1108.2164v2.
• Alina Ostafe, Igor E. Shparlinski, Arne Winterhof. Multiplicative character sums of a class of nonlinear recurrence vector sequences. Int. J. Number Theory 7(6):1557-1571 .
• Alina Ostafe, Igor E. Shparlinski, Arne Winterhof. Multiplicative character sums of a class of nonlinear recurrence vector sequences. Int. J. Number Theory 7(6):1557-1571.
• Frédéric Chyzak, James Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. ArXiv 1109.2809v2.
• Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. Proc. SYNASC 2011, pp. 47-51.
• Erhard Aichinger, Peter Mayr, Ralph McKenzie. On the number of finite algebraic structures. ArXiv 1103.2265v2.
• Christoph Koutschan, Viktor Levandovskyy, Oleksandr Motsak. On Two-generated Non-commutative Algebras Subject to the Affine Relation. ArXiv 1108.1108v1.
• Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. On Two-Generated Non-commutative Algebras Subject to the Affine Relation. Proc. CASC 2011, pp. 309-320.
• Thomas Vetterlein. Partial quantum logics revisited. Int. J. Gen. Syst. 40(1):23-38 .
• Thomas Vetterlein. Partial quantum logics revisited. Int. J. Gen. Syst. 40(1):23-38.
• Armin Biere, Karen Yorav. Preface. Formal Methods in System Design 39(2):115-116.
• Armin Biere. Preprocessing and Inprocessing Techniques in SAT. Haifa Verification Conference, pp. 1.
• Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews’s and David Robbins’s $q$-TSPP conjecture. Proc. Natl. Acad. Sci. USA 108(6):2196-2199.
• Isabela Dramnesc, Tudor Jebelean. Proof Techniques for Synthesis of Sorting Algorithms. Proc. SYNASC 2011, pp. 101-109.
• Lâm Xuân Châu Ngô, Franz Winkler. Rational general solutions of parametrizable AODEs. Publ. Math. Debr. 79(3-4):573-587 .
• L. X. Châu Ngô, Franz Winkler. Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46(10):1173-1186 .
• Tim Boykett. Rectangularity. ArXiv 1108.1658v1.
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. Regular and Singular Boundary Problems in Maple. Proc. CASC 2011, pp. 280-293.
• Martina Seidl, Peter J. Clarke. Software modeling in education. Computer Science Education 21(4):313-315.
• J. Ablinger, J. Blümlein, S. Klein, C. Schneider, F. Wißbrock. The $O(\alpha_s^3)$ massive operator matrix elements of $O(n_f)$ for the structure function $F_{2}(x,Q^{2})$ and transversity. Nucl. Phys., B 844(1):26-54.
• Stavros Garoufalidis, Christoph Koutschan. The $\frak {sl}_{3}$ Jones polynomial of the trefoil: a case study of $q$-holonomic sequences. Adv. Appl. Math. 47(4):829-839.
• Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux). Math. Intell. 33(2):52-57.
• Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux). Math. Intell. 33(2):52-57 .
• Manuel Kauers, Doron Zeilberger. The computational challenge of enumerating high-dimensional rook walks. Adv. Appl. Math. 47(4):813-819.
• Manuel Kauers, Peter Paule. The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. Texts & Monographs in Symbolic Computation.
• Manuel Kauers. The concrete tetrahedron. Proc. ISSAC 2011, pp. 7-8.
• Stavros Garoufalidis, Christoph Koutschan. The non-commutative A-polynomial of (-2,3,n) pretzel knots. ArXiv 1101.2844v4.
• J. Ablinger, J. Blümlein, S. Klein, C. Schneider, F. Wißbrock. The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity. Nucl. Phys., B 844(1):26-54 .
• Stavros Garoufalidis, Christoph Koutschan. The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences. Adv. Appl. Math. 47(4):829-839 .
• Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree -1. ArXiv 1111.5971v2.
• Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer. Towards an Understanding of Requirements for Model Versioning Support. IJPOP 1(2):1-23.
• Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer. Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS Workshops, pp. 246-256.
• Shaoshi Chen, Manuel Kauers. Trading Order for Degree in Creative Telescoping. ArXiv 1108.4508v2.
• Helmut Prodinger, Carsten Schneider, Stephan Wagner. Unfair permutations. Eur. J. Comb. 32(8):1282-1298.
• Helmut Prodinger, Carsten Schneider, Stephan Wagner. Unfair permutations. Eur. J. Comb. 32(8):1282-1298 .
• Erhard Aichinger, Peter Mayr, John D. P. Meldrum, Gary L. Peterson, Stuart D. Scott. Units of compatible nearrings. Monatsh. Math. 164(2):119-132 .
• Erhard Aichinger, Peter Mayr, John D.P. Meldrum, Gary L. Peterson, Stuart D. Scott. Units of compatible nearrings. Monatsh. Math. 164(2):119-132.
• Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl. VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. Proc. LPNMR 2011, pp. 382-387.