Kalpa Publications

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.