吴文达；刘卓军；林，东岱 一种实现特征集方法的方法。 （英语） Zbl 0989.65059号 系统。科学。数学。科学。 12，补遗，88-95（1999）. 小结：特征集方法W.Wu先生[关于初等几何中的决策问题和定理证明的机械化，Sci.Sin.21，159-172（1978）]是一种可以计算和分析多项式系统零点结构的理论。在过去的二十年里，吴方法的实践应用证明，它是解决数学、科学、工程和工业/社会应用中遇到的许多问题的有力工具。ELIMINO是一个专注于特征集方法的实现的计算机数学研究系统，专为研究人员执行复杂的数学计算而设计。它具有处理整数的通用功能，具有交互式编程功能，允许用户创建新的工具。 引用于1审查 MSC公司： 65H10型 方程组解的数值计算 2005年12月 场论和多项式的计算方面（MSC2010） 12-04 与场论有关的问题的软件、源代码等 26立方厘米 实多项式：零点的位置 30立方厘米 多项式、有理函数和一个复变量的其他分析函数的零点（例如，具有有界Dirichlet积分的函数的零点） 68瓦30 符号计算和代数计算 关键词：代数计算；吴的方法；特征集方法；0；多项式系统；埃利米诺 软件：埃利米诺 PDF格式BibTeX公司 XML格式引用 \textit{W.Wu}等人，系统。科学。数学。科学。12、88-95（1999年；Zbl 0989.65059）