Manuel Kauers
Manuel Kauers
Johannes Kepler University, Linz, Austria
Verified email at kauers.de - Homepage
Title
Cited by
Cited by
Year
The concrete tetrahedron
M Kauers
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
1502011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
1162010
Automatic Classification of Restricted Lattice Walks
M Kauers, A Bostan
Discrete Mathematics & Theoretical Computer Science, 2009
73*2009
Proof of Ira Gessel's lattice path conjecture
M Kauers, C Koutschan, D Zeilberger
Proceedings of the National Academy of Sciences 106 (28), 11502-11505, 2009
662009
Determining the closed forms of the O (as3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
J Blümlein, M Kauers, S Klein, C Schneider
Computer Physics Communications 180 (11), 2143-2165, 2009
652009
A computer proof of Moll’s log-concavity conjecture
M Kauers, P Paule
Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007
622007
Guessing handbook
M Kauers
562009
On 3-dimensional lattice walks confined to the positive octant
A Bostan, M Bousquet-Mélou, M Kauers, S Melczer
Annals of Combinatorics 20 (4), 661-704, 2016
482016
Column-wise verification of multipliers using computer algebra
D Ritirc, A Biere, M Kauers
2017 Formal Methods in Computer Aided Design (FMCAD), 23-30, 2017
442017
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer algebra and polynomials, 105-125, 2015
442015
Formal Laurent series in several variables
AA Monforte, M Kauers
Expositiones Mathematicae 31 (4), 350-367, 2013
442013
Proof of George Andrews’s and David Robbins’s q-TSPP conjecture
C Koutschan, M Kauers, D Zeilberger
Proceedings of the National Academy of Sciences 108 (6), 2196-2199, 2011
432011
SumCracker: A package for manipulating symbolic sums and related objects
M Kauers
Journal of Symbolic Computation 41 (9), 1039-1057, 2006
412006
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
402008
Telescopers for rational and algebraic functions via residues
S Chen, M Kauers, MF Singer
Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012
392012
Summation algorithms for Stirling number identities
M Kauers
Journal of Symbolic Computation 42 (10), 948-970, 2007
332007
A procedure for proving special function inequalities involving a discrete parameter
S Gerhold, M Kauers
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
322005
Groebner basis
B Buchberger, M Kauers
Scholarpedia 5 (10), 7763, 2010
312010
A non-holonomic systems approach to special function identities
F Chyzak, M Kauers, B Salvy
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
312009
The holonomic toolkit
M Kauers
Computer Algebra in Quantum Field Theory, 119-144, 2013
302013
The system can't perform the operation now. Try again later.
Articles 1–20