Follow
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
2672011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
1502010
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
1082009
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer Algebra and Polynomials: Applications of Algebra and Number Theory …, 2015
1002015
Guessing handbook
M Kauers
Technical Report 09-07, RISC-Linz, 2009
992009
Automatic classification of restricted lattice walks
A Bostan, M Kauers
Discrete Mathematics & Theoretical Computer Science, 2009
972009
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
962019
A computer proof of Moll’s log-concavity conjecture
M Kauers, P Paule
Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007
812007
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
762009
Formal Laurent series in several variables
AA Monforte, M Kauers
Expositiones Mathematicae 31 (4), 350-367, 2013
722013
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
712017
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
712017
The holonomic toolkit
M Kauers
Computer Algebra in Quantum Field Theory: Integration, Summation and Special …, 2013
652013
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
652008
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
642016
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
632011
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
522012
The Concrete Tetrahedron. Texts and monographs in symbolic computation
M Kauers, P Paule
Springer, Wien 11, 12, 2011
522011
Groebner basis
B Buchberger, M Kauers
Scholarpedia 5 (10), 7763, 2010
502010
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
492005
The system can't perform the operation now. Try again later.
Articles 1–20