Manuel Kauers
Manuel Kauers
Johannes Kepler University, Linz, Austria
Verified email at - Homepage
Cited by
Cited by
The concrete tetrahedron
M Kauers
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
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
Guessing handbook
M Kauers
Technical Report 09-07, RISC-Linz, 2009
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer Algebra and Polynomials: Applications of Algebra and Number Theory …, 2015
Automatic classification of restricted lattice walks
A Bostan, M Kauers
Discrete Mathematics & Theoretical Computer Science, 2009
Verifying large multipliers by combining SAT and computer algebra
D Kaufmann, A Biere, M Kauers
2019 Formal Methods in Computer Aided Design (FMCAD), 28-36, 2019
A computer proof of Moll’s log-concavity conjecture
M Kauers, P Paule
Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007
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
Formal Laurent series in several variables
AA Monforte, M Kauers
Expositiones Mathematicae 31 (4), 350-367, 2013
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
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
A Bostan, F Chyzak, M Van Hoeij, M Kauers, L Pech
European Journal of Combinatorics 61, 242-275, 2017
On 3-dimensional lattice walks confined to the positive octant
A Bostan, M Bousquet-Mélou, M Kauers, S Melczer
Annals of Combinatorics 20, 661-704, 2016
The holonomic toolkit
M Kauers
Computer Algebra in Quantum Field Theory: Integration, Summation and Special …, 2013
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
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
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
The Concrete Tetrahedron. Texts and monographs in symbolic computation
M Kauers, P Paule
Springer, Wien 11, 12, 2011
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
Groebner basis
B Buchberger, M Kauers
Scholarpedia 5 (10), 7763, 2010
The system can't perform the operation now. Try again later.
Articles 1–20