@文章{zbMATH07181618，作者={England，Matthew and Bradford，Russell and Davenport，James H.}，标题={带等式约束的圆柱代数分解}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={100}，页码={38--71}，年份={2020年}，语言={英语}，DOI={10.1016/j.jsc.2019.07.019}，关键词={68W30,68Q25}，zbMATH={7181618}，Zbl={1432.68599}}