
Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz
We present and prove closed form expressions for some families of binomi...
read it

There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]
In this memorial tribute to Joe Gillis, who taught us that Special Funct...
read it

Creative Telescoping on Multiple Sums
We showcase a collection of practical strategies to deal with a problem ...
read it

Exact Lower Bounds for Monochromatic Schur Triples and Generalizations
We derive exact and sharp lower bounds for the number of monochromatic g...
read it

Desingularization in the qWeyl algebra
In this paper, we study the desingularization problem in the first qWey...
read it

Lower bounds on the number of realizations of rigid graphs
In this paper we take advantage of a recently published algorithm for co...
read it

A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon
We evaluate a curious determinant, first mentioned by George Andrews in ...
read it

Computing the number of realizations of a Laman graph
Laman graphs model planar frameworks which are rigid for a general choic...
read it

The number of realizations of a Laman graph
Laman graphs model planar frameworks that are rigid for a general choice...
read it

ReductionBased Creative Telescoping for Fuchsian Dfinite Functions
Continuing a series of articles in the past few years on creative telesc...
read it

Inverse Inequality Estimates with Symbolic Computation
In the convergence analysis of numerical methods for solving partial dif...
read it

Holonomic Tools for Basic Hypergeometric Functions
With the exception of qhypergeometric summation, the use of computer al...
read it

ReductionBased Creative Telescoping for Algebraic Functions
Continuing a series of articles in the past few years on creative telesc...
read it
Christoph Koutschan
is this you? claim profile