@第{zbMATH05227414条，作者={Green，Edward L.和Solberg，{\O}yvind}，标题={解决方案的算法方法}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={42}，数字={11-12}，页码={1012--1033}，年份={2007}，语言={英语}，DOI={10.1016/j.jsc.2007.05.002}，关键词={13D02.13P10}，zbMATH＝{5227414}，Zbl={1133.13013}}