Folgen
Manuel Kauers
Manuel Kauers
Johannes Kepler University, Linz, Austria
Bestätigte E-Mail-Adresse bei kauers.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The concrete tetrahedron
M Kauers
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
1882011
The complete generating function for Gessel walks is algebraic
A Bostan, M Kauers
Proceedings of the American Mathematical Society 138 (9), 3063-3078, 2010
1392010
Automatic Classification of Restricted Lattice Walks
M Kauers, A Bostan
Discrete Mathematics & Theoretical Computer Science, 2009
81*2009
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
792009
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
Guessing handbook
M Kauers
752009
Ore polynomials in Sage
M Kauers, M Jaroschek, F Johansson
Computer algebra and polynomials, 105-125, 2015
702015
A computer proof of Moll’s log-concavity conjecture
M Kauers, P Paule
Proceedings of the American Mathematical Society 135 (12), 3847-3856, 2007
662007
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
582016
Formal Laurent series in several variables
AA Monforte, M Kauers
Expositiones Mathematicae 31 (4), 350-367, 2013
562013
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
552017
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
522019
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
492011
Computing the algebraic relations of C-finite sequences and multisequences
M Kauers, B Zimmermann
Journal of Symbolic Computation 43 (11), 787-803, 2008
482008
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
452017
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
432012
Groebner basis
B Buchberger, M Kauers
Scholarpedia 5 (10), 7763, 2010
432010
SumCracker: A package for manipulating symbolic sums and related objects
M Kauers
Journal of Symbolic Computation 41 (9), 1039-1057, 2006
432006
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
432005
The holonomic toolkit
M Kauers
Computer Algebra in Quantum Field Theory, 119-144, 2013
422013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20