5 papers
Realized Rank Certificates for Matchstick Frameworks and Insertion Edges
Mike Winkler
We give an exact, checkable rank-certificate method for realized planar unit-distance frameworks. The method is motivated by Vogel's computations for matchstick graphs and by the i…
Thinned Wallis-type prime products in residue classes modulo
Mike Winkler
For odd primes we consider the factors , where is the quadratic Dirichlet character modulo , and study products of restricted to…
Deterministic Structures in the Stopping Time Dynamics of the 3x+1 Problem
Mike Winkler
The problem concerns the iteration of the map defined by for even and for odd . We study the coefficient stoppi…
On the existence of 4-regular matchstick graphs
Mike Winkler, Peter Dinkelacker, Stefan Vogel
A matchstick graph is a planar unit-distance graph. We call it \emph{4-regular} if every vertex has degree 4. While examples of 4-regular matchstick graphs with fewer than 63 verti…
An Identity of Fillipi Related to Fermat-Type Equations
Mike Winkler, Andreas Fillipi
We give a structural proof of an algebraic identity proposed by Fillipi in 2014. For every integer , the identity represents an explicit multiple of as $\mathc…