research
∙
05/26/2023
Representing Piecewise Linear Functions by Functions with Small Arity
A piecewise linear function can be described in different forms: as an a...
share
research
∙
03/05/2023
Some D-finite and Some Possibly D-finite Sequences in the OEIS
In an automatic search, we found conjectural recurrences for some sequen...
research
∙
02/13/2023
Transcendence Certificates for D-finite Functions
Although in theory we can decide whether a given D-finite function is tr...
research
∙
02/08/2023
A Unified Approach to Unimodality of Gaussian Polynomials
In 2013, Pak and Panova proved the strict unimodality property of q-bino...
research
∙
02/16/2022
Guessing with Little Data
Reconstructing a hypothetical recurrence equation from the first terms o...
research
∙
01/03/2022
Realizations of Rigid Graphs
A minimally rigid graph, also called Laman graph, models a planar framew...
research
∙
05/18/2021
Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz
We present and prove closed form expressions for some families of binomi...
research
∙
01/25/2021
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...
research
∙
10/18/2020
Creative Telescoping on Multiple Sums
We showcase a collection of practical strategies to deal with a problem ...
research
∙
04/03/2019
Exact Lower Bounds for Monochromatic Schur Triples and Generalizations
We derive exact and sharp lower bounds for the number of monochromatic g...
research
∙
01/12/2018
Desingularization in the q-Weyl algebra
In this paper, we study the desingularization problem in the first q-Wey...
research
∙
10/23/2017
Lower bounds on the number of realizations of rigid graphs
In this paper we take advantage of a recently published algorithm for co...
research
∙
09/08/2017
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 ...
research
∙
07/12/2017
Computing the number of realizations of a Laman graph
Laman graphs model planar frameworks which are rigid for a general choic...
research
∙
01/19/2017
The number of realizations of a Laman graph
Laman graphs model planar frameworks that are rigid for a general choice...
research
∙
11/22/2016
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions
Continuing a series of articles in the past few years on creative telesc...
research
∙
02/03/2016
Inverse Inequality Estimates with Symbolic Computation
In the convergence analysis of numerical methods for solving partial dif...
research
∙
02/01/2016
Holonomic Tools for Basic Hypergeometric Functions
With the exception of q-hypergeometric summation, the use of computer al...
research
∙
02/01/2016