12 citations · 48 across the 17 of their papers we have counts for
18 papers
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT
Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler
We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation…
Almost sure limit theorems with applications to non-regular continued fraction algorithms
Claudio Bonanno, Tanja I. Schindler
We consider a conservative ergodic measure-preserving transformation of the measure space with a -finite measure and . Given an observab…
Doubly Intermittent Maps with Critical Points, Unbounded Derivatives and Regularly Varying Tail
Muhammad Mubarak, Tanja I. Schindler
We consider a class of doubly intermittent maps with critical points, unbounded derivative and regularly varying tails. Under some mild assumptions we prove the existence of a uniq…
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…
A convergence criterion for the unstable manifolds of the MacKay approximate renormalisation
Seul Bee Lee, Stefano Marmi, Tanja I. Schindler
We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tor…
Regularity properties of -Brjuno and Wilton functions
Seul Bee Lee, Stefano Marmi, Izabela Petrykiewicz +1
We study functions related to the classical Brjuno function, namely -Brjuno functions and the Wilton function. Both appear in the study of boundary regularity properties of (qua…
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…
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…
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…
Mean convergence for intermediately trimmed Birkhoff sums of observables with regularly varying tails
Marc Kesseböhmer, Tanja Schindler
On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We…
Intermediately trimmed strong laws for Birkhoff sums on subshifts of finite type
Marc Kesseböhmer, Tanja Schindler
We prove strong laws of large numbers under intermediate trimming for Birkhoff sums over subshifts of finite type. This gives another application of a previous trimming result only…
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…
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…
Small Time Convergence of Subordinators with Regularly or Slowly Varying Canonical Measure
Ross Maller, Tanja Schindler
We consider subordinators in the domain of attraction at 0 of a stable subordinator (where ); thus, with the property that $\…
Efficient Interpolation for the Theory of Arrays
Jochen Hoenicke, Tanja Schindler
Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays are inefficient for computing sequence and tree interpolants: the solver needs…
Strong laws of large number for intermediately trimmed Birkhoff sums of observables with infinite mean
Marc Kesseböhmer, Tanja Schindler
We consider dynamical systems on a finite measure space fulfilling a spectral gap property and Birkhoff sums of a non-negative, non-integrable observable. For such systems we gener…
Strong laws of large numbers for intermediately trimmed sums of i.i.d. random variables with infinite mean
Marc Kesseböhmer, Tanja Schindler
We consider moderately trimmed sums of non-negative i.i.d. random variables. We show that for every distribution function there exists a proper moderate trimming such that for the…
Limit theorems for counting large continued fraction digits
Marc Kesseböhmer, Tanja Schindler
We establish a central limit theorem for counting large continued fraction digits , i.e. we count occurrences , where is a sequence of positive integers…