克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·H·达文波特。 量词消除和柱面代数分解的复杂性。 （英语） Zbl 1190.68028号 Brown，C.W.（编辑），ISSAC 2007。2007年7月29日至8月1日，加拿大安大略省滑铁卢，第32届符号和代数计算国际研讨会（ISSAC 2007）会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-743-8）。54-60 (2007). 引用于34文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03C10号机组 量词消除、模型完整性和相关主题 68瓦30 符号计算和代数计算 软件：QEPCAD公司;重新记录;SACLIB公司 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{J.H.Davenport}，摘自：2007年符号和代数计算国际研讨会论文集，ISSAC 2007，加拿大安大略省滑铁卢，2007年7月29日至8月1日。纽约州纽约市：计算机协会（ACM）。54-60（2007；Zbl 1190.68028）