2 papers
math.DS2025
Trimmed ergodic sums for non-integrable functions with power singularities over irrational rotations
Max Auer, Tanja I. Schindler
Studying Birkhoff sums of non-integrable functions involves the challenge of large observations depending on the sampled orbit, which prevents pointwise limit theorems. To address…
cs.LO2023
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…