Dağhan Dağlı

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2026

Spectral Stability, Fatou Basin Contraction, and Machine-Checked Multipliers in Holomorphic Extensions of Generalized Syracuse Dynamics

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı +2

We embed the Syracuse operator $T (n) = n /2$ (even $n$ ), $T (n) = (3 n + 1) /2$ (odd $n$ ) and the Collatz map $C (n)$ into $C$ via entire functions of exponential type $π$ : $f(z)…

cs.LO2026

Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

We present gap-lean4-port (Release v0.2.0), a machine-checked formalization of foundational algorithms in computational discrete algebra and permutation group theory within the Lea…