Manuel Kauers

Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer: Desingularization Explains Order-Degree Curves for Ore Operators. CoRR abs/1301.0917 (2013)

Fredrik Johansson, Manuel Kauers, Marc Mezzarobba: Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. CoRR abs/1301.2486 (2013)

Shaoshi Chen, Manuel Kauers: Trading order for degree in creative telescoping. J. Symb. Comput. 47(8): 968-995 (2012)

Shaoshi Chen, Manuel Kauers: Order-degree curves for hypergeometric creative telescoping. ISSAC 2012: 122-129

Shaoshi Chen, Manuel Kauers, Michael F. Singer: Telescopers for rational and algebraic functions via residues. ISSAC 2012: 130-137

Shaoshi Chen, Manuel Kauers, Michael F. Singer: Telescopers for Rational and Algebraic Functions via Residues. CoRR abs/1201.1954 (2012)

Shaoshi Chen, Manuel Kauers: Order-Degree Curves for Hypergeometric Creative Telescoping. CoRR abs/1201.1982 (2012)

Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou: Hypercontractive inequalities via SOS, with an application to Vertex-Cover. CoRR abs/1212.5324 (2012)

Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz: Dominance in the family of Sugeno-Weber t-norms. Fuzzy Sets and Systems 181(1): 74-87 (2011)

Bruno Buchberger, Manuel Kauers: Buchberger's algorithm. Scholarpedia 6(10): 7764 (2011)

Manuel Kauers: The concrete tetrahedron. ISSAC 2011: 7-8

Manuel Kauers, Carsten Schneider: A refined denominator bounding algorithm for multivariate linear difference equations. ISSAC 2011: 201-208

Manuel Kauers, Carsten Schneider: A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. CoRR abs/1101.2803 (2011)

Shaoshi Chen, Manuel Kauers: Trading Order for Degree in Creative Telescoping. CoRR abs/1108.4508 (2011)

Bruno Buchberger, Manuel Kauers: Groebner basis. Scholarpedia 5(10): 7763 (2010)

Manuel Kauers, Veronika Pillwein: When can we detect that a P-finite sequence is positive? ISSAC 2010: 195-201

Manuel Kauers, Carsten Schneider: Partial denominator bounds for partial linear difference equations. ISSAC 2010: 211-218

Manuel Kauers, Veronika Pillwein: When can we decide that a P-finite sequence is positive? CoRR abs/1005.0600 (2010)

Manuel Kauers, Carsten Schneider: Partial Denominator Bounds for Partial Linear Difference Equations. CoRR abs/1005.0602 (2010)

Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz: Dominance in the family of Sugeno-Weber t-norms. CoRR abs/1007.5442 (2010)

Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider: Determining the closed forms of the O(s_S³) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. Computer Physics Communications 180(11): 2143-2165 (2009)

Frédéric Chyzak, Manuel Kauers, Bruno Salvy: A non-holonomic systems approach to special function identities. ISSAC 2009: 111-118

Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider: Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. CoRR abs/0902.4091 (2009)

Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider: From Moments to Functions in Quantum Chromodynamics. CoRR abs/0902.4095 (2009)

Frédéric Chyzak, Manuel Kauers, Bruno Salvy: A Non-Holonomic Systems Approach to Special Function Identities. CoRR abs/0904.2761 (2009)

Alin Bostan, Manuel Kauers: The complete Generating Function for Gessel Walks is Algebraic. CoRR abs/0909.1965 (2009)

Manuel Kauers, Carsten Schneider: Automated Proofs for Some Stirling Number Identities. Electr. J. Comb. 15(1) (2008)

Manuel Kauers, Doron Zeilberger: Experiments with a Positivity-Preserving Operator. Experimental Mathematics 17(3): 341-345 (2008)

Manuel Kauers, Burkhard Zimmermann: Computing the algebraic relations of C-finite sequences and multisequences. J. Symb. Comput. 43(11): 787-803 (2008)

Manuel Kauers, Richard Stong: A Telescoping Fibonacci Sum: 11258. The American Mathematical Monthly 115(10): 949-950 (2008)

Manuel Kauers: Solving difference equations whose coefficients are not transcendental. Theor. Comput. Sci. 401(1-3): 217-227 (2008)

Manuel Kauers: Integration of algebraic functions: a simple heuristic for finding the logarithmic part. ISSAC 2008: 133-140

Manuel Kauers: Summation algorithms for Stirling number identities. J. Symb. Comput. 42(10): 948-970 (2007)

Manuel Kauers: An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. ACM Transactions on Algorithms 3(2) (2007)

Manuel Kauers, Carsten Schneider: Symbolic summation with radical expressions. ISSAC 2007: 219-226

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (Eds.): Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, isbn 978-3-540-73083-5

Manuel Kauers: Shift Equivalence of P-finite Sequences. Electr. J. Comb. 13(1) (2006)

Manuel Kauers, Carsten Schneider: Indefinite summation with unspecified summands. Discrete Mathematics 306(17): 2073-2083 (2006)

Manuel Kauers: SumCracker: A package for manipulating symbolic sums and related objects. J. Symb. Comput. 41(9): 1039-1057 (2006)

Manuel Kauers: Problem 11258. The American Mathematical Monthly 113(10): 939 (2006)

Manuel Kauers, Carsten Schneider: Application of unspecified sequences in symbolic summation. ISSAC 2006: 177-183

Stefan Gerhold, Manuel Kauers: A procedure for proving special function inequalities involving a discrete parameter. ISSAC 2005: 156-162

Manuel Kauers (Ed.): Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings. ACM 2005, isbn 1-59593-095-7

Manuel Kauers: Computer proofs for polynomial identities in arbitrary many variables. ISSAC 2004: 199-204

Manuel Kauers, Stephan Vogel, Christian Fügen, Alex Waibel: Interlingua based statistical machine translation. INTERSPEECH 2002