克里斯托弗·布朗（Christopher W.Brown）。;斯科特·麦卡勒姆 关于在CAD构造中使用双方程约束。 （英语） Zbl 1360.68925号 Manuel Kauers（编辑），2005年符号和代数计算国际研讨会论文集，ISSAC’05，中国北京，2005年7月24日至27日。纽约州纽约市：ACM出版社（ISBN 1-59593-095-7）。76-83 (2005). 引用于9文件 MSC公司： 68瓦30 符号计算和代数计算 关键词：计算机辅助设计;多项式系统 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{S.McCallum}，摘自：2005年符号和代数计算国际研讨会论文集，ISSAC’05，中国北京，2005年7月24-27日。纽约州纽约市：ACM出版社。76-83（2005年；Zbl 1360.68925） 全文： DOI程序