@文章{zbMATH06378449，作者={Lebreton，Romain}，标题={松弛{Hensel}三角集的提升}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={68}，页码={230--258}，年份={2015年}，语言={英语}，DOI={10.1016/j.jsc.2014.09.012}，关键词={68W30,11S85,11Y16,13P05}，zbMATH={6378449}，Zbl={1386.68230}}