@第{zbMATH07538895条，作者={Lewis，Robert Y.和Wu，Minchao}，标题={{Lean}和{Mathematica}}之间的双向可扩展接口，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={66}，数字={2}，页码={215--238}，年份={2022}，语言={英语}，DOI={10.1007/s10817-021-09611-1}，关键词={68V15}，zbMATH={7538895}}