Members of the Forum Algebra produce more than a hundred publications every year. The list below is automatically generated and may not be complete.
▪▪▪ 2015 ▪ 2014 ▪ 2013 ▪ 2012 ▪ 2011 ▪▪▪
- Gergely Kovásznai, Andreas Fröhlich, Armin Biere. : A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. Proc. CADE 2013, pp. 443-449.
- Ayça Çeşmelioğlu, Wilfried Meidl. A construction of bent functions from plateaued functions. Des. Codes Cryptography 66(1-3):231-242.
- Ayça Çeşmelioğlu, Wilfried Meidl. A construction of bent functions from plateaued functions. Des. Codes Cryptography 66(1-3):231-242 .
- Gerhard Larcher, Friedrich Pillichshammer. A metrical lower bound on the star discrepancy of digital sequences. ArXiv 1302.4251v1.
- Philip Langer, Manuel Wimmer, Petra Brosch, Markus Herrmannsdörfer, Martina Seidl, Konrad Wieland, Gerti Kappel. A posteriori operation detection in evolving software models. Journal of Systems and Software 86(2):551-566.
- Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. A Variant of Higher-Order Anti-Unification. Proc. RTA 2013, pp. 113-127.
- Nina Brandstätter, Wilfried Meidl, Arne Winterhof. Addendum to Sidel’nikov sequences over nonprime fields. Inf. Process. Lett. 113(9):332-336 .
- Nina Brandstätter, Wilfried Meidl, Arne Winterhof. Addendum to Sidel’nikov sequences over nonprime fields. Inf. Process. Lett. 113(9):332-336.
- Christoph Koutschan, Thotsaporn “Aek” Thanatipanonda. Advanced computer algebra for determinants. Ann. Comb. 17(3):509-523.
- Christoph Koutschan, Thotsaporn “Aek” Thanatipanonda. Advanced computer algebra for determinants. Ann. Comb. 17(3):509-523 .
- Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms. J. Math. Phys. 54(8):082301, 74 p..
- Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms. J. Math. Phys. 54(8):082301, 74 p. .
- Jakob Ablinger, Johannes Blümlein, Carsten Schneider. Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms. ArXiv 1302.0378v1.
- Marijn Heule, Armin Biere. Blocked Clause Decomposition. Proc. LPAR 2013, pp. 423-438.
- Alexandra Goultiaeva, Martina Seidl, Armin Biere. Bridging the gap between dual propagation and CNF-based QBF solving. Proc. DATE 2013, pp. 811-814.
- Anja Korporal, Georg Regensburger. Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. ArXiv 1310.8455v1.
- . Computer algebra in quantum field theory. Integration, summation and special functions. Texts and Monographs in Symbolic Computation. Wien: Springer (ISBN 978-3-7091-1615-9/hbk; 978-1-4614-8523-0/ebook). xiv, 411 p.. .
- Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann. Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. ArXiv 1305.4818v2.
- Christoph Koutschan. Creative Telescoping for Holonomic Functions. ArXiv 1307.4554v1.
- Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. ArXiv 1301.0917v1.
- Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer. Desingularization explains order-degree curves for ore operators. Proc. ISSAC 2013, pp. 157-164.
- Igor E. Shparlinski, Arne Winterhof. Distribution of values of polynomial Fermat quotients. Finite Fields Appl. 19, 93-104 .
- Igor E. Shparlinski, Arne Winterhof. Distribution of values of polynomial Fermat quotients. Finite Fields Appl. 19, 93-104.
- Stefan Müller, Georg Regensburger, Ralf Steuer. Enzyme allocation problems in kinetic metabolic networks: Optimal solutions are elementary flux modes. ArXiv 1308.0510v2.
- Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz. Exact and asymptotic results for insurance risk models with surplus-dependent premiums. SIAM J. Appl. Math. 73(1):47-66 .
- Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz. Exact and asymptotic results for insurance risk models with surplus-dependent premiums. SIAM J. Appl. Math. 73(1):47-66.
- Jean-Marie Lagniez, Armin Biere. Factoring Out Assumptions to Speed Up MUS Extraction. Proc. SAT 2013, pp. 276-292.
- Carsten Schneider. Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. ArXiv 1307.7887v2.
- Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ArXiv 1301.2486v1.
- Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding hyperexponential solutions of linear ODEs by numerical evaluation. Proc. ISSAC 2013, pp. 211-218.
- Agata Ciabattoni, David Picado Muiño, Thomas Vetterlein, Moataz El-Zekey. Formal approaches to rule-based systems in medicine: the case of CADIAG-2. Int. J. Approx. Reasoning 54(1):132-148 .
- Agata Ciabattoni, David Picado Muiño, Thomas Vetterlein, Moataz El-Zekey. Formal approaches to rule-based systems in medicine: the case of CADIAG-2. Int. J. Approx. Reasoning 54(1):132-148.
- Ainhoa Aparicio Monforte, Manuel Kauers. Formal Laurent series in several variables. Expo. Math. 31(4):350-367.
- J Ablinger, J Blümlein, C Schneider. Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers. ArXiv 1310.5645v1.
- Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. Generalized Maiorana-McFarland class and normality of $p$-ary bent functions. Finite Fields Appl. 24, 105-117.
- Ayça Çeşmelioğlu, Wilfried Meidl, Alexander Pott. Generalized Maiorana-McFarland class and normality of \(p\)-ary bent functions. Finite Fields Appl. 24, 105-117 .
- Erhard Aichinger. Generating polynomials using function composition. Quaest. Math. 36(1):39-46 .
- Erhard Aichinger. Generating polynomials using function composition. Quaest. Math. 36(1):39-46.
- Armin Biere, Amir Nahir, Tanja E. J. Vos. Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Lecture Notes in Computer Science.
- Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. Cent. Eur. J. Math. 11(4):609-620.
- Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. Cent. Eur. J. Math. 11(4):609-620 .
- Christoph Koutschan. Holonomic functions in mathematica. ACM Comm. Computer Algebra 47(3/4):179-182.
- Bernard Mourrain, Nelly Villamizar. Homological techniques for the analysis of the dimension of triangular spline spaces. J. Symb. Comput. 50, 564-577.
- Bernard Mourrain, Nelly Villamizar. Homological techniques for the analysis of the dimension of triangular spline spaces. J. Symb. Comput. 50, 564-577 .
- Clemens G. Raab. Integration of unspecified functions and families of iterated integrals. Proc. ISSAC 2013, pp. 323-330.
- Stavros Garoufalidis, Christoph Koutschan. Irreducibility of $q$-difference operators and the knot $7_{4}$. Algebr. Geom. Topol. 13(6):3261-3286.
- Stavros Garoufalidis, Christoph Koutschan. Irreducibility of \(q\)-difference operators and the knot \(7_{4}\). Algebr. Geom. Topol. 13(6):3261-3286 .
- Christoph Koutschan. Lattice Green functions of the higher-dimensional face-centered cubic lattices. J. Phys. A, Math. Theor. 46(12):Article ID 125005, 14 p..
- Christoph Koutschan. Lattice Green functions of the higher-dimensional face-centered cubic lattices. J. Phys. A, Math. Theor. 46(12):Article ID 125005, 14 p. .
- Gerhard Larcher, Friedrich Pillichshammer. Metrical lower bounds on the discrepancy of digital Kronecker-sequences. ArXiv 1302.5267v1.
- Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto. Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference, pp. 112-128.
- Cyrille Artho, Armin Biere, Martina Seidl. Model-Based Testing for Verification Back-Ends. Proc. TAP 2013, pp. 39-55.
- Carsten Schneider. Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction. ArXiv 1310.0160v1.
- Andreas Fröhlich, Gergely Kovásznai, Armin Biere. More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. Proc. CSR 2013, pp. 378-390.
- A. Behring, J. Blümlein, A. De Freitas, T. Pfoh, C. Raab, M. Round, J. Ablinger, A. Hasselhuhn, C. Schneider, F. Wißbrock, A. von Manteuffel. New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic Scattering. ArXiv 1312.0124v1.
- Matteo Gallet, Hamid Rahkooy, Zafeirakis Zafeirakopoulos. On Computing the Elimination Ideal Using Resultants with Applications to Gr\"obner Bases. ArXiv 1307.5330v2.
- Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron. On the Complexity of Computing Gr\"obner Bases for Quasi-homogeneous Systems. ArXiv 1301.5612v3.
- Ayça Çeşmelioǧlu, Wilfried Meidl, Alexander Pott. On the dual of (non)-weakly regular bent functions and self-dual bent functions. Adv. Math. Commun. 7(4):425-440.
- Ayça Çeşmelioǧlu, Wilfried Meidl, Alexander Pott. On the dual of (non)-weakly regular bent functions and self-dual bent functions. Adv. Math. Commun. 7(4):425-440 .
- François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz. On the integration of differential fractions. Proc. ISSAC 2013, pp. 101-108.
- Manuel Kauers, Lily Yen. On the length of integers in telescopers for proper hypergeometric terms. ArXiv 1311.3720v2.
- Anja Korporal, Georg Regensburger. On the product of projectors and generalized inverses. ArXiv 1308.2775v1.
- Erhard Aichinger, Nebojša Mudrinski. On various concepts of nilpotence for expansions of groups. Publ. Math. Debr. 83(4):583-604 .
- Erhard Aichinger, Nebojša Mudrinski. On various concepts of nilpotence for expansions of groups. Publ. Math. 83(4):583-604.
- Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson. Ore Polynomials in Sage. ArXiv 1306.4263v1.
- Wilfried Meidl, Alev Topuzoğlu. Quadratic functions with prescribed spectra. Des. Codes Cryptography 66(1-3):257-273.
- Wilfried Meidl, Alev Topuzoğlu. Quadratic functions with prescribed spectra. Des. Codes Cryptography 66(1-3):257-273 .
- Yanli Huang, L. X. Châu Ngô, Franz Winkler. Rational general solutions of higher order algebraic ODEs. J. Syst. Sci. Complex. 26(2):261-280 .
- Tim Boykett. Rectangular groupoids and related structures. Discrete Math. 313(13):1409-1418 .
- Tim Boykett. Rectangular groupoids and related structures. Discrete Math. 313(13):1409-1418.
- Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. ArXiv 1306.1362v2.
- Marijn Heule, Matti Järvisalo, Armin Biere. Revisiting Hyper Binary Resolution. Proc. CPAIOR 2013, pp. 77-93.
- Erhard Aichinger, Nebojša Mudrinski. Sequences of commutator operations. Order 30(3):859-867 .
- Erhard Aichinger, Nebojša Mudrinski. Sequences of commutator operations. Order 30(3):859-867.
- 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. ArXiv 1311.5493v2.
- Carsten Schneider. Simplifying Multiple Sums in Difference Fields. ArXiv 1304.4134v1.
- Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. SmacC: A Retargetable Symbolic Execution Engine. Proc. ATVA 2013, pp. 482-486.
- Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider. The $O(\alpha_s^3n_fT_F^2C_{A, F})$ contributions to the gluonic massive operator matrix elements. Nucl. Phys., B 866(2):196-211.
- Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. The Auspicious Couple: Symbolic Execution and WCET Analysis. Proc. WCET 2013, pp. 53-63.
- Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider. The \(O(\alpha_s^3n_fT_F^2C_{A, F})\) contributions to the gluonic massive operator matrix elements. Nucl. Phys., B 866(2):196-211 .
- Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel. Turning Conflicts into Collaboration. Computer Supported Cooperative Work 22(2-3):181-240.