
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
For a nonnegative integer t, let c_t be the asymptotic density of natura...
09/29/2015 ∙ by Michael Drmota, et al. ∙ 0 ∙ shareread it

Factorization of Cfinite Sequences
We discuss how to decide whether a given Cfinite sequence can be writte...
01/12/2016 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it

ReductionBased Creative Telescoping for Algebraic Functions
Continuing a series of articles in the past few years on creative telesc...
02/01/2016 ∙ by Shaoshi Chen, et al. ∙ 0 ∙ shareread it

Dfinite Numbers
Dfinite functions and Precursive sequences are defined in terms of lin...
11/17/2016 ∙ by Hui Huang, et al. ∙ 0 ∙ shareread it

Short Proofs for Some Symmetric Quantified Boolean Formulas
We exploit symmetries to give short proofs for two prominent formula fam...
04/04/2018 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it

Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
We study nearestneighbors walks on the twodimensional square lattice, ...
06/09/2016 ∙ by Alin Bostan, et al. ∙ 0 ∙ shareread it

Some Open Problems related to Creative Telescoping
Creative telescoping is the method of choice for obtaining information a...
09/13/2016 ∙ by Shaoshi Chen, et al. ∙ 0 ∙ shareread it

ReductionBased Creative Telescoping for Fuchsian Dfinite Functions
Continuing a series of articles in the past few years on creative telesc...
11/22/2016 ∙ by Shaoshi Chen, et al. ∙ 0 ∙ shareread it

Bounds for Substituting Algebraic Functions into Dfinite Functions
It is well known that the composition of a Dfinite function with an alg...
01/26/2017 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it

Apparent Singularities of Dfinite Systems
We generalize the notions of singularities and ordinary points from line...
05/02/2017 ∙ by Shaoshi Chen, et al. ∙ 0 ∙ shareread it

On the maximal minimal cube lengths in distinct DNF tautologies
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we...
02/09/2019 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it

Local Search for Fast Matrix Multiplication
Laderman discovered a scheme for computing the product of two 3x3 matric...
03/27/2019 ∙ by Marijn J. H. Heule, et al. ∙ 0 ∙ shareread it

New ways to multiply 3 x 3matrices
It is known since the 1970s that no more than 23 multiplications are req...
05/24/2019 ∙ by Marijn J. H. Heule, et al. ∙ 0 ∙ shareread it

Lonely Points in Simplices
Given a lattice L in Z^m and a subset A of R^m, we say that a point in A...
05/21/2019 ∙ by Maximilian Jaroschek, et al. ∙ 0 ∙ shareread it

A Simple ReDerivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
In this case study, we illustrate the great potential of experimental ma...
05/23/2018 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it

Symmetries of Quantified Boolean Formulas
While symmetries are well understood for Boolean formulas and successful...
02/12/2018 ∙ by Manuel Kauers, et al. ∙ 0 ∙ shareread it