
Good pivots for small sparse matrices
For sparse matrices up to size 8 × 8, we determine optimal choices for p...
read it

Integral PRecursive Sequences
In an earlier paper, the notion of integrality known from algebraic numb...
read it

Separating Variables in Bivariate Polynomial Ideals
We present an algorithm which for any given ideal I⊆K [x,y] finds all el...
read it

New ways to multiply 3 x 3matrices
It is known since the 1970s that no more than 23 multiplications are req...
read 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...
read it

Local Search for Fast Matrix Multiplication
Laderman discovered a scheme for computing the product of two 3x3 matric...
read it

On the maximal minimal cube lengths in distinct DNF tautologies
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we...
read 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...
read it

Short Proofs for Some Symmetric Quantified Boolean Formulas
We exploit symmetries to give short proofs for two prominent formula fam...
read it

Symmetries of Quantified Boolean Formulas
While symmetries are well understood for Boolean formulas and successful...
read it

Apparent Singularities of Dfinite Systems
We generalize the notions of singularities and ordinary points from line...
read it

Bounds for Substituting Algebraic Functions into Dfinite Functions
It is well known that the composition of a Dfinite function with an alg...
read it

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

Dfinite Numbers
Dfinite functions and Precursive sequences are defined in terms of lin...
read it

Some Open Problems related to Creative Telescoping
Creative telescoping is the method of choice for obtaining information a...
read it

Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
We study nearestneighbors walks on the twodimensional square lattice, ...
read it

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

Factorization of Cfinite Sequences
We discuss how to decide whether a given Cfinite sequence can be writte...
read it

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...
read it