@第{zbMATH06464964条，作者={Magaud，Nicolas and Cholet，Agathe and Fuchs，Laurent}，Title={从离散几何角度将{Coq}中连续统的离散模型形式化}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={74}，数字={3-4}，页码={309--332}，年份={2015年}，语言={英语}，DOI={10.1007/s10472-014-9434-6}，关键词={03F55,03H15,03F60}，zbMATH={6464964}，Zbl={1326.03074}}