HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yury Kudryashov

Publications
Formalizing Rotation Number and Its Properties in Lean
Yury Kudryashov
EasyChair Preprint 6168

Keyphrases

circle homeomorphisms, dynamical systems, Rotation number.

Copyright © 2012-2025 easychair.org. All rights reserved.