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

▪▪▪ 2017 ▪ 2016 ▪ 2015 ▪ 2014 ▪ 2013 ▪▪▪

• Ralph Kritzinger, Friedrich Pillichshammer. $L_p$-discrepancy of the symmetrized van der Corput sequence. ArXiv 1501.02552v1.
• Isabela Dramnesc, Tudor Jebelean. A case study in proof based synthesis of algorithms on monotone lists. Proc. SACI 2015, pp. 483-488.
• Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li. A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ArXiv 1501.04668v2.
• Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li. A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. Proc. ISSAC 2015, pp. 117-124.
• Lin Jiu, Victor H. Moll, Christophe Vignat. A Symbolic Approach to Some Indentities for Bernoulli-Barnes Polynomials. ArXiv 1504.01318v1.
• Jakob Ablinger, Carsten Schneider. Algebraic independence of (cyclotomic) harmonic sums. ArXiv 1510.03692v1.
• Jakob Ablinger, Carsten Schneider. Algebraic independence of sequences generated by (cyclotomic) harmonic sums. ArXiv 1510.03692v2.
• Alexander Maletzky. Automated Reasoning in Reduction Rings Using the Theorema System. Proc. CASC 2015, pp. 307-321.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. Bent functions, spreads, and o-polynomials. SIAM J. Discrete Math. 29(2):854-867.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. Bent functions, spreads, and o-polynomials. SIAM J. Discrete Math. 29(2):854-867 .
• L. X. C. Ngô, J. R. Sendra, F. Winkler. Birational transformations preserving rational solutions of algebraic ordinary differential equations. J. Comput. Appl. Math. 286, 114-127 .
• Marijn Heule, Martina Seidl, Armin Biere. Blocked Literals Are Universal. Proc. NFM 2015, pp. 436-442.
• 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. ArXiv 1509.08324v1.
• Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere. Clause elimination for SAT and QSAT. J. Artif. Intell. Res. (JAIR) 53, 127-168.
• Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere. Clause elimination for SAT and QSAT. J. Artif. Intell. Res. (JAIR) 53, 127-168 .
• Tim Boykett. Closed Systems of Invertible Maps. ArXiv 1512.06813v2.
• Tim Boykett. Closed Systems of Invertible Maps. ArXiv 1512.06813v1.
• Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. Proc. SYNASC 2015, pp. 137-144.
• Peter Kritzer, Friedrich Pillichshammer. Component-by-component construction of shifted Halton sequences. ArXiv 1501.07377v1.
• Marijn J. H. Heule, Armin Biere. Compositional Propositional Proofs. Proc. LPAR 2015, pp. 444-459.
• Christoph Fürst, Günter Landsmann. Computation of Dimension in Filtered Free Modules by Gröbner Reduction. Proc. ISSAC 2015, pp. 181-188.
• Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos. Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. Proc. RTA 2015, pp. 241-256.
• Gunther Leobacher, Friedrich Pillichshammer, Thomas Schell. Construction algorithms for plane nets in base $b$. ArXiv 1506.03201v1.
• Axel Bacher, Manuel Kauers, Rika Yatchak. Continued Classification of 3D Lattice Walks in the Positive Octant. ArXiv 1511.05763v1.
• Manuel Kauers. Creative Telescoping via Hermite Reduction. Proc. SYNASC 2015, pp. 11.
• E. Postinghel, F. Sottile, N. Villamizar. Degenerations of real irrational toric varieties. J. Lond. Math. Soc., II. Ser. 92(2):223-241.
• E. Postinghel, F. Sottile, N. Villamizar. Degenerations of real irrational toric varieties. J. Lond. Math. Soc., II. Ser. 92(2):223-241 .
• Josef Dick, Domingo Gomez-Perez, Friedrich Pillichshammer, Arne Winterhof. Digital inversive vectors can achieve strong polynomial tractability for the weighted star discrepancy and for multivariate integration. ArXiv 1512.06521v1.
• Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl. Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. Proc. LPAR 2015, pp. 418-433.
• Armin Biere, Andreas Fröhlich. Evaluating CDCL Variable Scoring Schemes. Proc. SAT 2015, pp. 405-422.
• Constantin 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. ArXiv 1507.07056v4.
• Carsten Schneider. Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. Computer Algebra and Polynomials, pp. 157-191.
• Erhard Aichinger, Marijana Lazić, Nebojša Mudrinski. Finite generation of congruence preserving functions. ArXiv 1503.08487v2.
• Henri Faure, Peter Kritzer, Friedrich Pillichshammer. From van der Corput to modern constructions of sequences for quasi-Monte Carlo rules. ArXiv 1506.03764v1.
• Erhard Aichinger, Peter Mayr. Independence of algebras with edge term. Int. J. Algebra Comput. 25(7):1145-1157 .
• Erhard Aichinger, Peter Mayr. Independence of algebras with edge term. Int. J. Algebra Comput. 25(7):1145-1157.
• Erhard Aichinger, Peter Mayr. Independence of algebras with edge term. ArXiv 1504.02663v1.
• Manuel Kauers, Christoph Koutschan. Integral D-Finite Functions. ArXiv 1501.03691v2.
• Manuel Kauers, Christoph Koutschan. Integral D-Finite Functions. Proc. ISSAC 2015, pp. 251-258.
• Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl. Intra- and interdiagram consistency checking of behavioral multiview models. Computer Languages, Systems & Structures 44:72-88.
• Besik Dundua, Mário Florido, Temur Kutsia. Lambda Calculus with Regular Types. Proc. SYNASC 2015, pp. 129-136.
• Matteo Gallet, Georg Nawratil, Josef Schicho. Liaison Linkages. ArXiv 1510.01127v1.
• Jing Jane He, Daniel Panario, Qiang Wang, Arne Winterhof. Linear complexity profile and correlation measure of interleaved sequences. Cryptogr. Commun. 7(4):497-508 .
• Jing Jane He, Daniel Panario, Qiang Wang, Arne Winterhof. Linear complexity profile and correlation measure of interleaved sequences. Cryptogr. Commun. 7(4):497-508, electronic only.
• Thomas Vetterlein. Logic of approximate entailment in quasimetric spaces. Int. J. Approx. Reasoning 64, 39-53 .
• Thomas Vetterlein. Logic of approximate entailment in quasimetric spaces. Int. J. Approx. Reasoning 64, 39-53.
• Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki, Hyundong Shin, Christoph Koutschan. MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method. IEEE Trans. Wireless Communications 14(4):2322-2335.
• Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata. Model-Based Testing of Stateful APIs with Modbat. Proc. ASE 2015, pp. 858-863.
• Nurdagül Anbar, Wilfried Meidl. More on quadratic functions and maximal Artin-Schreier curves. Appl. Algebra Eng. Commun. Comput. 26(5):409-426.
• Nurdagül Anbar, Wilfried Meidl. More on quadratic functions and maximal Artin-Schreier curves. Appl. Algebra Eng. Commun. Comput. 26(5):409-426 .
• Christoph Koutschan, Erwin Suazo, Sergei K. Suslov. Multi-parameter laser modes in paraxial optics. ACM Comm. Computer Algebra 49(1):33.
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. Proc. RTA 2015, pp. 57-73.
• Michael Drmota, Manuel Kauers, Lukas Spiegelhofer. On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. ArXiv 1509.08623v2.
• Peter Kritzer, Friedrich Pillichshammer, G. W. Wasilkowski. On Equivalence of Anchored and ANOVA Spaces; Lower Bounds. ArXiv 1511.05674v1.
• Erhard Aichinger. On function compositions that are polynomials. J. Commut. Algebra 7(3):303-315 .
• Erhard Aichinger. On function compositions that are polynomials. J. Commut. Algebra 7(3):303-315.
• Manuel Kauers, Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. J. Symb. Comput. 66, 21-33.
• Lin Jiu. On the Method of Brackets: Rules, Examples, Interpretations and Modifications. ArXiv 1506.06985v4.
• Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere. Optimization of Combinatorial Testing by Incremental SAT Solving. Proc. ICST 2015, pp. 1-10.
• Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. Computer Algebra and Polynomials, pp. 105-125.
• Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar. Planar Linkages Following a Prescribed Motion. ArXiv 1502.05623v2.
• Ivan Gonzalez, Lin Jiu, Victor H. Moll. Pochhammer Symbol with Negative Indices. A New Rule for the Method of Brackets. ArXiv 1508.00056v1.
• Zhixiong Chen, Arne Winterhof. Polynomial quotients: interpolation, value sets and Waring’s problem. Acta Arith. 170(2):121-134 .
• Zhixiong Chen, Arne Winterhof. Polynomial quotients: interpolation, value sets and Waring’s problem. Acta Arith. 170(2):121-134.
• Shaoshi Chen, Christoph Koutschan. Proof of the Wilf-Zeilberger Conjecture for Mixed Hypergeometric Terms. ArXiv 1507.04840v2.
• Shaoshi Chen, Christoph Koutschan. Proof of the Wilf-Zeilberger Conjecture. ArXiv 1507.04840v1.
• Alberto Lastra, J. Rafael Sendra, Lam Xuan Chau Ngô, Franz Winkler. Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one. Publ. Math. Debr. 86(1-2):49-69 .
• Temur Kutsia, Mircea Marin. Regular expression order-sorted unification and matching. J. Symb. Comput. 67:42-67.
• Clemens G. Raab. Rewrite rules for nested integrals. ACM Comm. Computer Algebra 49(1):34.
• Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia. Special issue on symbolic computation in software science. J. Symb. Comput. 69:1-2.
• Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram. Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. ArXiv 1506.08527v3.
• Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram. Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. Proc. SYNASC 2015, pp. 27-33.
• Georg Grasegger, Franz Winkler. Symbolic Solutions of First-Order Algebraic ODEs. Computer Algebra and Polynomials, pp. 94-104.
• Isabela Drămnesc, Tudor Jebelean. Synthesis of list algorithms by mechanical proving. J. Symb. Comput. 69, 61-92 .
• Isabela Drămnesc, Tudor Jebelean. Synthesis of list algorithms by mechanical proving. J. Symb. Comput. 69, 61-92.
• A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-loop non-singlet heavy flavor contributions to the structure function $g_1(x, Q^2)$ at large momentum transfer. Nucl. Phys., B 897, 612-644.
• A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-Loop Non-Singlet Heavy Flavor Contributions to the Structure Function g_1(x,Q^2) at Large Momentum Transfer. ArXiv 1504.08217v1.
• A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-loop non-singlet heavy flavor contributions to the structure function \(g_1(x, Q^2)\) at large momentum transfer. Nucl. Phys., B 897, 612-644 .
• J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-loop pure singlet heavy flavor contributions to the structure function $F_2(x, Q^2)$ and the anomalous dimension. Nucl. Phys., B 890, 48-151.
• J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. von Manteuffel, C. Schneider. The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension. Nucl. Phys., B 890, 48-151 .
• A. Behring, J. Blümlein, A. De Freitas, A. Hasselhuhn, A. von Manteuffel, C. Schneider. The O(\alpha_s^3) Heavy Flavor Contributions to the Charged Current Structure Function xF_3(x,Q^2) at Large Momentum Transfer. ArXiv 1508.01449v1.
• Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker. The Second Reactive Synthesis Competition (SYNTCOMP 2015). Proc. SYNT 2015, pp. 27-57.
• Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams. Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). Dagstuhl Reports 5(4):98-122.
• Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Theory exploration of binary trees. Proc. SISY 2015, pp. 139-144.
• Thomas Vetterlein. Totally ordered monoids based on triangular norms. Commun. Algebra 43(7):2643-2679 .
• Thomas Vetterlein. Totally ordered monoids based on triangular norms. Commun. Algebra 43(7):2643-2679.
• Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger. Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. Proc. CASC 2015, pp. 406-423.
• Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel. UML @ Classroom - An Introduction to Object-Oriented Modeling. Undergraduate Topics in Computer Science.
• P. Kritzer, F. Pillichshammer, G. W. Wasilkowski. Very Low Truncation Dimension for High Dimensional Integration Under Modest Error Demand. ArXiv 1506.02458v2.
• Gerhard Wendt. \(0\)-primitive near-rings, minimal ideals and simple near-rings. Taiwanese J. Math. 19(3):875-905 .