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
Combinatorial Hubbard trees for postcritically infinite unicritical polynomials and exponential maps
Malte Hassler, Dierk Schleicher
We construct combinatorial Hubbard trees for all unicritical polynomials, and for all exponential maps, for which the critical (singular) value does not escape. More precisely, out…