@第{zbMATH07613236条，作者={Valvo，Lorenzo和Locatelli，Ugo}，标题={磁力线的哈密顿控制：计算机辅助结果证明{KAM}势垒}的存在，FJournal={计算动力学杂志}，期刊={J.计算动力学}，ISSN={2158-2491}，体积={9}，数字={4}，页码={505--527}，年份={2022}，语言={英语}，DOI={10.3934/jcd.202002}，关键词={37J40,37N05,37M05,37N35,70F07,70H08}，zbMATH={7613236}，Zbl={1510.37096}}