Welcome to kauers.de 

Home ⋅ Publications ⋅ Talks ⋅ Teaching ⋅ Software  
Manuel Kauers and Martina Seidl, April 2018, Short Proofs for Some Symmetric Quantified Boolean Formulas, Preprint arXiv 1804.01437 pdf.
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang, May 2017, Apparent Singularities of Dfinite Systems, Preprint arXiv 1705.00838 pdf.
Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, and Michael Wallner, March 2017, Asymptotic Enumeration of Compacted Binary Trees, Preprint arXiv 1703.10031 pdf.
Manuel Kauers and Martina Seidl, July 2018, Symmetries of Quantified Boolean Formulas, Proceedings of SAT'18, to appear. pdf. (Also arXiv 1802.03993.)
Hui Huang and Manuel Kauers, November 2017, Dfinite Numbers, International Journal of Number Theory, to appear. pdf. (Also arXiv 1611.05901.)
Shaoshi Chen, Mark van Hoeij, Manuel Kauers, and Christoph Koutschan, March/April 2018. Reductionbased Creative Telescoping for Fuchsian Dfinite Functions, Journal of Symbolic Computation, 85:108127. pdf. (Also arXiv 1611.07421.)
Manuel Kauers and Doron Zeilberger, October 2017, Factorization of Cfinite sequences, Advances in Computer Algebra (Proceedings of WWCA2016), Springer, pp. 131148. pdf. (Also arXiv 1601.02756.)
Daniela Ritirc and Armin Biere and Manuel Kauers, October 2017, ColumnWise Verification of Multipliers Using Computer Algebra, Proceedings of FMCAD'17, pp. 2330. pdf.
Manuel Kauers and RongHua Wang, August 2017, Lattice Walks in the Octant with Infinite Associated Groups, Electronic Notes in Discrete Mathematics 61:703709 (Proceedings of EUROCOMB 2017). pdf. (Also arXiv 1703.05057.)
Manuel Kauers and Gleb Pogudin, July 2017, Bounds for Substituting Algebraic Functions into DFinite Functions, Proceedings of ISSAC 2017, pp. 245252. pdf. (Also arXiv 1701.07802.)
Alin Bostan, Frederic Chyzak, Mark van Hoeij, Manuel Kauers, and Lucien Pech, March 2017, Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane, European Journal of Combinatorics, 61:235241. pdf. (Also arXiv 1606.02982.)
Shaoshi Chen and Manuel Kauers, February 2017, Some Open Problems related to Creative Telescoping, Journal of Systems Science and Complexity, 30:154172. pdf. (Also arXiv 1609.03768.)
Alin Bostan, Mireille BousquetMélou, Manuel Kauers and Stephen Melczer, December 2016, On 3dimensional lattice walks confined to the positive octant, Annals of Combinatorics, 20(4):661704. ps.gz pdf. (Also arXiv 1409.3669.) Supplementary material.
Shaoshi Chen, Manuel Kauers, and Christoph Koutschan, July 2016, ReductionBased Creative Telescoping for Algebraic Functions, Proceedings of ISSAC'16, pp. 175182. pdf. (Also arXiv 1602.00424.)
Axel Bacher, Manuel Kauers, Rika Yatchak, July 2016, Continued Classification of 3D Lattice Walks in the Positive Octant, Proceedings of FPSAC'16, DMTCS, pp. 95106. pdf. (Also arXiv 1511.05763.)
Shaoshi Chen, Manuel Kauers, and Michael F. Singer, May/June 2016, Desingularization of Ore Polynomials, Journal of Symbolic Computation, 74(5/6):617626. ps.gz pdf. (Also arXiv 1408.5512.)
Michael Drmota, Manuel Kauers, Lukas Spiegelhofer, February 2016, On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t, SIAM Journal on Discrete Mathematics, 30(2):621874. pdf. (Also arXiv 1509.08623.) Supplementary material.
Manuel Kauers, Ryan O'Donnell, LiYang Tan, and Youan Zhou, February 2016, Hypercontractive inequalities via SOS, and the FranklRödl graph, Discrete Analysis, 2016:4. pdf. (Also arXiv 1212.5324v3.)
Manuel Kauers and Rika Yatchak, July 2015, Walks in the Quarter Plane with Multiple Steps, Proceedings of FPSAC'15, DMTCS, pp. 2536. ps.gz pdf. (Also arXiv 1411.3537.)
Shaoshi Chen, Hui Huang, Manuel Kauers and Ziming Li, July 2015, An Improved AbramovPetkovsek Reduction and Creative Telescoping for Hypergeometric Terms, Proceedings of ISSAC'15, pp. 117124. ps.gz pdf. (Also arXiv 1501.04668.)
Manuel Kauers and Christoph Koutschan, July 2015, Integral DFinite Functions, Proceedings of ISSAC'15, pp. 251258. ps.gz pdf. (Also arXiv 1501.03691.)
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson, 2015, Ore polynomials in Sage, Computer Algebra and Polynomials, Lecture Notes in Computer Science, Springer LNCS 8942, pages 105125. ps.gz pdf. (Also arXiv 1306.4263.)
Manuel Kauers and Lily Yen, January/February 2015, On the length of integers in telescopers for proper hypergeometric terms, Journal of Symbolic Computation, 66(12):2133. pdf ps.gz. (Also arXiv 1311.3720.)
Manuel Kauers, July 2014, Bounds for Dfinite Closure Properties, Proceedings of ISSAC 2014, pp. 288295. pdf ps.gz. (Also arXiv 1408.5514.)
Shaoshi Chen, Manuel Kauers and Christoph Koutschan, July 2014, A Generalized ApagoduZeilberger Algorithm, Proceedings of ISSAC 2014, pp. 107114. pdf ps.gz. (Also arXiv 1402.2409.)
Manuel Kauers, Ryan O'Donnell, LiYang Tan and Yuan Zhou, January 2014, Hypercontractive inequalities via SOS, and the FranklRödlGraph, Proceedings of SODA'14, pp. 16441658. ps.gz pdf. (Also arXiv 1212.5324.)
Ainhoa Aparicio Monforte and Manuel Kauers, December 2013, Formal Laurent Series in Several Variables, Expositiones Mathematicae 31(4):350367. ps.gz pdf.
Manuel Kauers, October 2013, The Holonomic Toolkit, In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer, 119144. ps.gz pdf.
Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann, October 2013, ComputerAssisted Proofs of Some Identities for Bessel Functions of Fractional Order, In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer, 7596. pdf. (Also arXiv 1305.4818.)
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba, June 2013, Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation, Proceedings of ISSAC 2013, 211218. ps.gz pdf. (Also arXiv 1301.2486.)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer, June 2013, Desingularization Explains OrderDegree Curves for Ore Operators, Proceedings of ISSAC 2013, 157164. ps.gz pdf. (Also arXiv 1301.0917.)
Shaoshi Chen and Manuel Kauers, August 2012, Trading Order for Degree in Creative Telescoping, Journal of Symbolic Computation 47(8):968995. ps.gz pdf. (Also arXiv 1108.4508.)
Shaoshi Chen and Manuel Kauers, July 2012, OrderDegree Curves for Hypergeometric Creative Telescoping, Proceedings of ISSAC 2012, 122129. ps.gz pdf. (Also arXiv 1201.1982.)
Shaoshi Chen, Manuel Kauers and Michael F. Singer, July 2012, Telescopers for Rational and Algebraic Functions via Residues, Proceedings of ISSAC 2012, 130137. ps.gz pdf. (Also arXiv 1201.1954.) Supplementary material.
Manuel Kauers, Christian Krattenthaler, and Thomas W. Müller, June 2012, A method for determining the mod2^{k} behaviour of recursive sequences, with applications to subgroup counting, Electronic Journal of Combinatorics, 18(2):P37, Zeilberger Festschrift. ps.gz pdf. (Also arXiv 1107.2015.)
Manuel Kauers, Veronika Pillwein, and Susanne SamingerPlatz, October 2011, Dominance in the Family of SugenoWeber tnorms, Fuzzy Sets and Systems, 181(1):7487. ps.gz pdf. (Also arXiv 1007.5442.) Supplementary material.
Manuel Kauers and Doron Zeilberger, October 2011, The Computational Challenge of Enumerating HighDimensional Rook Paths, Advances in Applied Mathematics, 47(4):813819. ps.gz pdf. (Also arXiv 1011.4671.) Supplementary material.
Manuel Kauers and Carsten Schneider, June 2011, A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations, Proceedings of ISSAC 2011, 201208. ps.gz pdf. (Also arXiv 1101.2803.)
Manuel Kauers, January 2011, How to use Cylindrical Algebraic Decomposition, Seminaire Lotharingien de Combinatoire, B65a, ps.gz pdf.
Christoph Koutschan, Manuel Kauers, and Doron Zeilberger, January 2011, A Proof of George Andrews' and David Robbins' qTSPPConjecture, Proceedings of the National Academy of Sciences, 108(6):21962199. ps.gz pdf (Also arXiv 1002.4384.) Supplementary material.
Alin Bostan and Manuel Kauers (with an Appendix by Mark van Hoeij), September 2010, The Complete Generating Function for Gessel Walks is Algebraic, Proceedings of the AMS, 138(9):30633078. ps.gz pdf. (Also arXiv 0909.1965.) Supplementary material.
Manuel Kauers and Carsten Schneider, July 2010, Partial Denominator Bounds for Partial Linear Difference Equations, Proceedings of ISSAC'10, 211218. ps.gz pdf. (Also arXiv 1005.0602.)
Manuel Kauers and Veronika Pillwein, July 2010, When can we Decide that a Pfinite Sequence is Positive?, Proceedings of ISSAC'10, 195202. ps.gz pdf. (Also arXiv 1005.0600.)
Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, November 2009, Determining the closed forms of the O(a_{s}^{3}) anomalous dimension and Wilson coefficients from Mellin moments by means of computer algebra, Computer Physics Communications, 180(11):21432165. ps.gz pdf. (Formerly appeared as Technical Report DESY 09002 and arXiv 0902.4091: ps.gz pdf.)
Frederic Chyzak, Manuel Kauers, and Bruno Salvy, July 2009, A NonHolonomic Systems Approach to Special Function Identities, Proceedings of ISSAC'09, pp. 111118. ps.gz pdf. (Also arXiv 0904.2761.)
Alin Bostan and Manuel Kauers, July 2009, Automatic Classification of Restricted Lattice Walks, Proceedings of FPSAC'09, pp. 201215. ps.gz pdf. (Also arXiv 0811.2899.)
Manuel Kauers, Christoph Koutschan, and Doron Zeilberger, July 2009, Proof of Ira Gessel's Lattice Path Conjecture, Proceedings of the National Academy of Sciences, 106(28):1150211505. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200808: ps.gz pdf.)
Manuel Kauers and Christoph Koutschan, June 2009, A Mathematica Package for qHolonomic Sequences and Power Series, The Ramanujan Journal, 19(2):137150. ps.gz pdf. (Formerly appeared as Technical report SFB F013, no 200716: ps.gz pdf.)
Manuel Kauers and Burkhard Zimmermann, November 2008, Computing the Algebraic Relations of Cfinite Sequences and Multisequences, Journal of Symbolic Computation, 43(11):787803. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200624: ps.gz pdf.)
Manuel Kauers and Doron Zeilberger, October 2008, The QuasiHolonomic Ansatz and Restricted Lattice Walks, Journal of Difference Equations and Applications, 14(1011):11191126. Special Issue in Honor of Gerry Ladas' 70th Birthday. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200731: ps.gz pdf.)
Manuel Kauers, October 2008, Fast Solvers for Dense Linear Systems, Nuclear Physics B (Proc. Suppl.), 183:245250. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200806: SFB F013, ps.gz pdf.)
Manuel Kauers and Doron Zeilberger, July 2008, Experiments with a Positivity Preserving Operator, Experimental Mathematics, 17(3):341345. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200721: ps.gz pdf.)
Manuel Kauers, July 2008, Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part, Proceedings of ISSAC'08, pp. 133140. ps.gz pdf. Implementation for Mathematica 5.2: algebraic.m (Formerly appeared as Technical report SFB F013, no. 200801: ps.gz pdf.)
Manuel Kauers, July 2008, Solving Difference Equations whose Coefficients are not Transcendental, Theoretical Computer Science, 401(13):217227. ps.gz pdf (Formerly appeared as Technical Report SFB F013, no 200520: ps.gz pdf.)
Manuel Kauers, May 2008, Computer Algebra for Special Function Inequalities, Tapas in Experimental Mathematics, Contemporary Mathematics 457, pp. 215235. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200707: ps.gz pdf.)
Manuel Kauers and Carsten Schneider, January 2008, Automated Proofs for Some Stirling Number Identities, The Electronic Journal of Combinatorics, 15(2):R2. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 200723: ps.gz pdf.)
Manuel Kauers and Peter Paule, December 2007, A Computer Proof of Moll's LogConcavity Conjecture, Proceedings of AMS, 135(12):38473856. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200615: ps.gz pdf.)
Manuel Kauers, October 2007, Summation Algorithms for Stirling Number Identities, Journal of Symbolic Computation, 42(10):948970. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200711: ps.gz pdf.)
Manuel Kauers and Carsten Schneider, July 2007, Symbolic Summation with Radical Expressions, In Proceedings of ISSAC 2007, pp. 219226. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200702: ps.gz pdf.)
Manuel Kauers, July 2007, Computer Algebra and Power Series with Positive Coefficients, In Proceedings of FPSAC 2007, electronic. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200633: ps.gz pdf.)
Horst Alzer, Stefan Gerhold, Manuel Kauers, and Alexandru Lupas, May 2007, On Turan's inequality for Legendre Polynomials, Expositiones Mathematicae 25(2):181186. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200616: ps.gz.)
Manuel Kauers, May 2007, An Algorithm for Deciding ZeroEquivalence of Nested Polynomially Recurrent Sequences, Transactions on Algorithms 3(2) Article No. 18. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200348: ps.gz.)
Manuel Kauers, November 2006, Shift Equivalence of Pfinite Sequences, The Electronic Journal of Combinatorics 13(1):R100. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200621: ps.gz.)
Manuel Kauers and Carsten Schneider, September 2006, Indefinite Summation with Unspecified Summands, Discrete Mathematics 306(17):20212140. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200413: ps.gz.)
Manuel Kauers, September 2006, SumCracker  A Package for Manipulating Symbolic Sums and Related Objects, Journal of Symbolic Computation, 41(9):10391057. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200521: ps.gz.)
Manuel Kauers and Carsten Schneider, July 2006, Application of Unspecified Sequences in Symbolic Summation, In Proceedings of ISSAC 2006, Genova, Italy, pp. 177183. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200519: ps.gz.)
Stefan Gerhold and Manuel Kauers, May 2006, A Computer Proof of Turan's Inequality, Journal of Inequalities in Pure and Applied Mathematics, Vol. (7)2, Article 42. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200515: ps.gz.)
Stefan Gerhold and Manuel Kauers, July 2005, A Procedure for Proving Special Function Inequalities involving a Discrete Parameter, In Proceedings of ISSAC 2005, Beijing, China, pp. 156162. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 200502: ps.gz, nb.gz [examples].)
Clemens Ballarin and Manuel Kauers, June 2004, Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming, The Sigsam Bulletin, 38(2):3346. ps.gz
Manuel Kauers, July 2004, Computer Proofs for Polynomial Identities in Arbitrary Many Variables, In Proceedings of ISSAC 2004, Santander, Spain, pp. 199204. ps.gz. (Formerly appeared as Technical Report SFB F013, no. 200406: ps.gz.)
Manuel Kauers, March 2018, The GuessandProve Paradigm in Action, Internationale Mathematische Nachrichten 237:115. pdf.
Armin Biere, Manuel Kauers, and Daniela Ritirc, December 2017, Challenges in Verifying Arithmetic Circuits Using Computer Algebra, Proceedings of SYNASC'17, to appear. pdf.
Manuel Kauers, March 2016, Creative Telescoping via Hermite Reduction, Proceedings of SYNASC'15, pp. 11. pdf.
Manuel Kauers, March 2015, Computer Algebra, Chapter 15 in: Miklos Bona (editor), Handbook of Enumerative Combinatorics, pages 9751046. Taylor and Francis.
Manuel Kauers (Editor), July 2013, Proceedings of the 2013 International Symposium on Symbolic and Algebraic Computing (ISSAC'13), ACM Press.
Bruno Buchberger and Manuel Kauers, October 2011, Buchberger's Algorithm, Scholarpedia 6(10):7764. online
Manuel Kauers, June 2011, ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 45(2):107142.
Manuel Kauers, June 2011, The Concrete Tetrahedron. Tutorial Abstract. Proceedings of ISSAC 2011, 78. ps.gz pdf.
Manuel Kauers and ShengLan Ko, January 2011, Problem 11545. American Mathematical Monthly 118(1):84. ps.gz pdf.
Manuel Kauers and Peter Paule, January 2011, The Concrete Tetrahedron. Text and Monographs in Symbolic Computation. Springer ISBN 9783709104446.
Bruno Buchberger and Manuel Kauers, October 2010, Gröbner Basis, Scholarpedia 5(10):7763. online
Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, February 2009, From Moments to Functions in Quantum Chromodynamics, Proceedings of Science PoS(ACAT08)106:17, 2009. Also arXiv 0902.4095, ps.gz pdf.
Christian Krattenthaler, Volker Strehl and Manuel Kauers (Editors), July 2009, Proceedings of the 2009 International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC'09), Special Issue of Discrete Mathematics and Theoretical Computer Science.
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider and Franz Winkler, June 2009, Hot Topics in Symbolic Computation, In Bruno Buchberger et al., Hagenberg Research, pp. 562, Springer ISBN 9783642021268.
Manuel Kauers, Christoph Koutschan, and Doron Zeilberger, January 2009, A Proof of George Andrews' and Dave Robbins' qTSPP Conjecture (modulo a finite amount of routine calculations), The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and arXiv 0808.0571, ps.gz pdf.
Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger (Editors), June 2007, Towards Mechanized Mathematical Assistants, Joint Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Artificial Intelligence Vol. 4573, Springer Heidelberg.
Manuel Kauers, December 2006, Problem 11258. American Mathematical Monthly, 113(10):939. ps.gz pdf.
Manuel Kauers, October 2005, Algorithms for Nonlinear Higher Order Difference Equations. Ph.D. Thesis. RISCLinz, Johannes Kepler University, Linz. ps.gz pdf. (Also appeared as RISCReport no. 0510.)
Manuel Kauers (Editor), July 2005, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computing (ISSAC'05), ACM Press.
Manuel Kauers, August 2003, Computing Limits of Sequences, Poster at ISSAC 2003, Philadelphia, USA. ps.gz (Poster), ps.gz (Abstract)
Manuel Kauers, Stephan Vogel, Christian Fügen, and Alex Waibel, September 2002, Interlingua Based Statistical Machine Translation, In Proceedings of ICSLP 2002, San Diego, USA, pp. 19091912. ps.gz.
Manuel Kauers, May 2002, Verstehen natürlicher Sprache durch statistische Übersetzung in eine termbasierte Interlingua, Master Thesis (Diplomarbeit), University of Karlsruhe, Germany. (German.) ps.gz.
Clemens Ballarin and Manuel Kauers, March 2002, Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming, In Proceedings of the 8th Rhine Workshop of Computer Algebra, Mannheim, Germany, pp. 101114. ps.gz.
Manuel Kauers, August 2001, Strategien zum Lösen parametrischer Linearer Gleichungssysteme, Student project (Studienarbeit), University of Karlsruhe, Germany. (German.) ps.gz.
Manuel Kauers, April 2011, A Mathematica Package for Computing Asymptotic Expansions of Solutions of PFinite Recurrence Equations, Technical Report RISC 1104, Johannes Kepler Universität Linz. ps.gz pdf.
Manuel Kauers, April 2009, Guessing Handbook, Technical Report RISC 0907, Johannes Kepler Universität Linz. ps.gz pdf nb.
Manuel Kauers and Viktor Levandovskyy, October 2006, An Interface between Mathematica and Singular, Technical Report 200629, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz pdf.
Stefan Gerhold, Manuel Kauers, and Joachim Schöberl, April 2006, On a Conjectured Inequality for a Sum of Legendre Polynomials, Technical Report 200611, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz pdf.
Manuel Kauers, March 2004, ZET User Manual, Technical Report 200405, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz