@第{zbMATH07106521条，作者={Affeldt，Reynald and Cohen，Cyril and Rouhling，Damien}，标题={经典分析中渐近推理的形式化技术}，FJournal={形式化推理杂志}，日志={J.Formaliz.Reason.}，ISSN={1972-5787}，体积={11}，页码={43--76}，年份={2018年}，语言={英语}，DOI={10.6092/issn.1972-5787/8124}，关键词={68V20,26A03}，zbMATH＝{7106521}，Zbl={1451.68329}}