Seguir
Manuel Kauers
Manuel Kauers
Johannes Kepler University, Linz, Austria
Dirección de correo verificada de kauers.de - Página principal
Título
Citado por
Citado por
Año
The concrete tetrahedron
M Kauers
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
2772011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
1512010
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
1092009
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer Algebra and Polynomials: Applications of Algebra and Number Theory …, 2015
1032015
Guessing handbook
M Kauers
Technical Report 09-07, RISC-Linz, 2009
1002009
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
982019
Automatic classification of restricted lattice walks
A Bostan, M Kauers
Discrete Mathematics & Theoretical Computer Science, 2009
982009
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
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
722017
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
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
672008
The holonomic toolkit
M Kauers
Computer Algebra in Quantum Field Theory: Integration, Summation and Special …, 2013
662013
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
652016
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
512010
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
502005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20