Manuel Kauers

The complete generating function for Gessel walks is algebraic

Gessel walks are lattice walks in the quarter plane

A Computer Proof of Moll’s Log-Concavity Conjecture

\set N^2

Proof of Ira Gessel's lattice path conjecture

which start at the origin

The concrete tetrahedron

(0,0)\in\set N^2

SumCracker: A package for manipulating symbolic sums and related objects

and consist only of steps chosen from the set

Computing the algebraic relations of C-finite sequences and multisequences

\{\leftarrow,\swarrow,\nearrow,\to\}

Telescopers for rational and algebraic functions via residues

. We prove that if

A non-holonomic systems approach to special function identities

g(n;i,j)

A procedure for proving special function inequalities involving a discrete parameter

denotes the number of Gessel walks of length

Summation algorithms for Stirling number identities

n