Welcome to kauers.de

Alin Bostan and Manuel Kauers (with an Appendix by Mark van Hoeij), 2010, The Complete Generating Function for Gessel Walks is Algebraic, Proceedings of the AMS, to appear. ps.gz pdf. (Also arXiv 0909.1965.)

Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, November 2009, Determining the closed forms of the O(a_s³) anomalous dimension and Wilson coefficients from Mellin moments by means of computer algebra, Computer Physics Communications, 180(11):2143--2165. ps.gz pdf. (Formerly appeared as Technical Report DESY 09-002 and arXiv 0902.4091: ps.gz pdf.)

Frederic Chyzak, Manuel Kauers, and Bruno Salvy, July 2009, A Non-Holonomic Systems Approach to Special Function Identities, Proceedings of ISSAC'09, pp. 111--118. 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. 201--215. 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):11502--11505. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 2008-08: ps.gz pdf.)

Manuel Kauers and Christoph Koutschan, June 2009, A Mathematica Package for q-Holonomic Sequences and Power Series, The Ramanujan Journal, 19(2):137--150. ps.gz pdf. (Formerly appeared as Technical report SFB F013, no 2007-16: ps.gz pdf.)

Manuel Kauers and Burkhard Zimmermann, November 2008, Computing the Algebraic Relations of C-finite Sequences and Multisequences, Journal of Symbolic Computation, 43(11):787-803. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 2006-24: ps.gz pdf.)

Manuel Kauers and Doron Zeilberger, October 2008, The Quasi-Holonomic Ansatz and Restricted Lattice Walks, Journal of Difference Equations and Applications, 14(10--11):1119--1126. Special Issue in Honor of Gerry Ladas' 70th Birthday. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2007-31: ps.gz pdf.)

Manuel Kauers, October 2008, Fast Solvers for Dense Linear Systems, Nuclear Physics B (Proc. Suppl.), 183:245--250. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 2008-06: SFB F013, ps.gz pdf.)

Manuel Kauers and Doron Zeilberger, July 2008, Experiments with a Positivity Preserving Operator, Experimental Mathematics, 17(3):341--345. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2007-21: ps.gz pdf.)

Manuel Kauers, July 2008, Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part, Proceedings of ISSAC'08, pp. 133--140. ps.gz pdf. Implementation for Mathematica 5.2: algebraic.m (Formerly appeared as Technical report SFB F013, no. 2008-01: ps.gz pdf.)

Manuel Kauers, July 2008, Solving Difference Equations whose Coefficients are not Transcendental, Theoretical Computer Science, 401(1-3):217-227. ps.gz pdf (Formerly appeared as Technical Report SFB F013, no 2005-20: ps.gz pdf.)

Manuel Kauers, May 2008, Computer Algebra for Special Function Inequalities, Tapas in Experimental Mathematics, Contemporary Mathematics 457, pp. 215--235. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no 2007-07: 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 2007-23: ps.gz pdf.)

Manuel Kauers and Peter Paule, December 2007, A Computer Proof of Moll's Log-Concavity Conjecture, Proceedings of AMS, 135(12):3847--3856. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2006-15: ps.gz pdf.)

Manuel Kauers, October 2007, Summation Algorithms for Stirling Number Identities, Journal of Symbolic Computation, 42(10):948--970. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2007-11: ps.gz pdf.)

Manuel Kauers and Carsten Schneider, July 2007, Symbolic Summation with Radical Expressions, In Proceedings of ISSAC 2007, pp. 219--226. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2007-02: 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. 2006-33: 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):181--186. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2006-16: ps.gz.)

Manuel Kauers, May 2007, An Algorithm for Deciding Zero-Equivalence of Nested Polynomially Recurrent Sequences, Transactions on Algorithms 3(2) Article No. 18. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2003-48: ps.gz.)

Manuel Kauers, November 2006, Shift Equivalence of P-finite Sequences, The Electronic Journal of Combinatorics 13(1):R100. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2006-21: ps.gz.)

Manuel Kauers and Carsten Schneider, September 2006, Indefinite Summation with Unspecified Summands, Discrete Mathematics 306(17):2021--2140. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2004-13: ps.gz.)

Manuel Kauers, September 2006, SumCracker -- A Package for Manipulating Symbolic Sums and Related Objects, Journal of Symbolic Computation, 41(9):1039--1057. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2005-21: ps.gz.)

Manuel Kauers and Carsten Schneider, July 2006, Application of Unspecified Sequences in Symbolic Summation, In Proceedings of ISSAC 2006, Genova, Italy, pp. 177-183. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2005-19: 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. 2005-15: 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. 156-162. ps.gz pdf. (Formerly appeared as Technical Report SFB F013, no. 2005-02: 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):33-46. ps.gz

Manuel Kauers, July 2004, Computer Proofs for Polynomial Identities in Arbitrary Many Variables, In Proceedings of ISSAC 2004, Santander, Spain, pp. 199-204. ps.gz. (Formerly appeared as Technical Report SFB F013, no. 2004-06: ps.gz.)

March 2010, The Polynomial Growth of an Operator Ideal, FELIM 2010, Limoges, France. pdf (Slides).

October 2009, Two Nasty Polynomials with Power Series Solutions, ECONET 2009, Bled, Slovenia. pdf (Slides).

August 2008, Walking in the Quarter Plane, MAP 2008, Trieste, Italy. pdf (Slides).

April 2008, Fast Solvers for Dense Linear Systems, Loops and Legs in Quantum Field Theory, Sondershausen, Germany. pdf (Slides).

April 2008, Pillwein's Proof of Schöberl's Conjecture, Symbolic Real Algebra and Trustworthy Computing, Shanghai, China. pdf (Slides).

September 2007, A Summation Algorithm for Stirling Number Identities, 59th Seminaire Lotharingien de Combinatoire, Bertinoro, Italy.

June 2007, Stirling Number Identities, Methods of proof theory in mathematics, Max-Planck-Institute for Mathematics, Bonn, Germany. pdf (Slides).

May 2007, Gröbner Bases and Applications to Special Functions, Trimestre on methods of proof theory in mathematics, Max-Planck-Institute for Mathematics, Bonn, Germany.

May 2007, Cylindrical Algebraic Decomposition and Applications to Special Functions, Trimestre on methods of proof theory in mathematics, Max-Planck-Institute for Mathematics, Bonn, Germany.

May 2006, Proving and Finding Algebraic Dependencies of Combinatorial Sequences, Special Semester on Gröbner Bases, Linz, Austria. pdf (Slides)

January 2006, Computer Algebra Proofs for Combinatorial Inequalities and Identities, MAP 2006, Castro Urdialis, Spain. pdf (Slides)

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. 5--62, Springer ISBN 978-3-642-02126-8.

Manuel Kauers, Christoph Koutschan, and Doron Zeilberger, January 2009, A Proof of George Andrews' and Dave Robbins' q-TSPP 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 and Günter Landsmann, 2007, Computer Algebra and Symbolic Computation (by J.S. Cohen), Book review, Communications in Computer Algebra, to appear.

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. RISC-Linz, Johannes Kepler University, Linz. ps.gz pdf. (Also appeared as RISC-Report no. 05-10.)

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. 1909--1912. 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. 101--114. ps.gz.

Manuel Kauers, August 2001, Strategien zum Lösen parametrischer Linearer Gleichungssysteme, Student project (Studienarbeit), University of Karlsruhe, Germany. (German.) ps.gz.

Christoph Koutschan, Manuel Kauers, and Doron Zeilberger, February 2010, A Proof of George Andrews' and David Robbins' q-TSPP-Conjecture, arXiv 1002.4384, (submitted). ps.gz pdf.

Manuel Kauers, April 2009, Guessing Handbook, Technical Report RISC 09-07, Johannes Kepler Universität Linz. ps.gz pdf nb.

Johannes Blümlein, Manuel Kauers, Sebastian Klein, and Carsten Schneider, February 2009, From Moments to Functions in Quantum Chromodynamics, Technical Report DESY 09-011 and arXiv 0902.4095, (submitted). ps.gz pdf.

Manuel Kauers and Viktor Levandovskyy, October 2006, An Interface between Mathematica and Singular, Technical Report 2006-29, 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 2006-11, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz pdf.

Manuel Kauers, March 2004, ZET User Manual, Technical Report 2004-05, SFB F013, Johannes Kepler Universität Linz, Austria. ps.gz