Syracuse-Compatible Lyapunov Functions: Characterization, β-Halving, and Spectral Analysis

Tamás Nagy Draft Formal Verification Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

6,047 words

Status

draft

Target

Experimental Mathematics