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
1352011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
1072010
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
682009
Automatic Classification of Restricted Lattice Walks
M Kauers, A Bostan
Discrete Mathematics & Theoretical Computer Science, 2009
67*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
612009
A computer proof of Moll’s log-concavity conjecture
M Kauers, P Paule
Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007
602007
Guessing handbook
M Kauers
572009
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
472016
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
442011
Formal Laurent series in several variables
AA Monforte, M Kauers
Expositiones Mathematicae 31 (4), 350-367, 2013
432013
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer algebra and polynomials, 105-125, 2015
402015
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
382017
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
382012
SumCracker: A package for manipulating symbolic sums and related objects
M Kauers
Journal of Symbolic Computation 41 (9), 1039-1057, 2006
382006
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
362008
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
352009
Summation algorithms for Stirling number identities
M Kauers
Journal of Symbolic Computation 42 (10), 948-970, 2007
342007
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
Trading order for degree in creative telescoping
S Chen, M Kauers
Journal of Symbolic Computation 47 (8), 968-995, 2012
302012
Groebner basis
B Buchberger, M Kauers
Scholarpedia 5 (10), 7763, 2010
302010
The system can't perform the operation now. Try again later.
Articles 1–20