ByNobleID
    KAM theorem for reversible mapping of low smoothness with application | NobleID