activity
20182022
most citedInterpolation and the Array Property Fragment

1 citations · 1 across the 4 of their papers we have counts for

collaborators

8 papers

math.DS2022

Prime numbers in typical Continued Fraction Expansions

Tanja I. Schindler, Roland Zweimüller

We study, from the viewpoint of metrical number theory and (infinite) ergodic theory, the probabilistic laws governing the occurrence of prime numbers as digits in continued fracti…

math.DS2021

Almost sure asymptotic behaviour of Birkhoff sums for infinite measure-preserving dynamical systems

Claudio Bonanno, Tanja I. Schindler

We consider a conservative ergodic measure-preserving transformation of a -finite measure space with . Given an observable $f:X\to \mathbb{R…

math.NT2020

A Central limit theorem for the Birkhoff sum of the Riemann zeta-function over a Boolean type transformation

Tanja I. Schindler

We prove a central limit theorem for the real and imaginary part and the absolute value of the Riemann zeta-function sampled along a vertical line in the critical strip with respec…

cs.LO20191 cited

Interpolation and the Array Property Fragment

Jochen Hoenicke, Tanja Schindler

Interpolation based software model checkers have been successfully employed to automatically prove programs correct. Their power comes from interpolating SMT solvers that check the…

math.DS2018

Trimmed sums for observables on the doubling map

Tanja Schindler

We establish a strong law of large numbers under intermediate trimming for a particular example of Birkhoff sums of a non-integrable observable over the doubling map. It has been s…

math.DS2018

Scaling properties of the Thue--Morse measure

Michael Baake, Philipp Gohlke, Marc Kesseböhmer +1

The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Rie…