101 citations · 629 across the 59 of their papers we have counts for
23 papers · 1 filter
Representing Piecewise Linear Functions by Functions with Small Arity
Christoph Koutschan, Bernhard Moser, Anton Ponomarchuk +1
A piecewise linear function can be described in different forms: as an arbitrarily nested expression of - and -functions, as a difference of two convex piecewise linear…
Some D-finite and Some Possibly D-finite Sequences in the OEIS
Manuel Kauers, Christoph Koutschan
In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove t…
Transcendence Certificates for D-finite Functions
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by…
A Unified Approach to Unimodality of Gaussian Polynomials
Christoph Koutschan, Ali K. Uncu, Elaine Wong
In 2013, Pak and Panova proved the strict unimodality property of -binomial coefficients (as polynomials in ) based on the combinatorics of Young tablea…
Guessing with Little Data
Manuel Kauers, Christoph Koutschan
Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a var…
Creative Telescoping on Multiple Sums
Christoph Koutschan, Elaine Wong
We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces t…