@第{zbMATH02168288条，作者＝｛Paulson，Lawrence C.｝，Title={使用公理化类型类组织数值理论}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={33}，数字={1}，页码={29--49}，年份={2004}，语言={英语}，DOI={10.1007/s10817-004-3997-6}，关键词={68T15}，zbMATH={2168288}，Zbl={1071.68092}}