@第{zbMATH07137257条,作者={Huang,Zongyan and England,Matthew and Wilson,David J.and Bridge,James and Davenport,James H.and Paulson,Lawrence C.},Title={使用机器学习改进柱面代数分解},FJournal={计算机科学中的数学},日志={Math.Comput.Sci.},ISSN={1661-8270},体积={13},数字={4},页码={461--488},年份={2019},语言={英语},DOI={10.1007/s11786-019-00394-8},关键词={68W30,68T05},zbMATH={7137257},Zbl={1474.68464}}