@第{zbMATH06644464条，作者={Martin-Dorel，{E}rik and Melquiond，Guillaume}，Title={用{Coq}}中的初等函数证明单变量表达式的紧界，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={57}，数字={3}，页码={187--217}，年份={2016年}，语言={英语}，DOI={10.1007/s10817-015-9350-4}，关键词={68T15,41A58,65G50}，zbMATH={6644464}，Zbl={1386.68151}}