2 papers
math.NT2025
Diophantine Equations over : Universal Bounds and Parallel Formalization
Jonas Bayer, Marco David, Malte Hassler +2
This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal t…
math.DS2024
Hölder continuity of core entropy for non-recurrent quadratic polynomials
Malte Hassler, Dierk Schleicher
We prove that core entropy is Hölder continuous as a function of external angles for a large class of quadratic polynomials that are non-recurrent with respect to angle-doubling,…