D.拉扎德。 求解零维代数系统。 （英语） Zbl 0753.13012号 J.塞姆。计算。 第2117-131号第13页（1992年）. 设（X_1，\ldots，X_n）是按（X_1<X_2<cdots<X_n。多项式的主变量是其中最大的变量。一组多项式被称为三角形如果第i个多项式的主变量是（X_i），monic在（X_i\）中。使用这个术语，作者首先指出：提议1。如果（K\）是一个域，则（K[X_1，\ldots，X_n]\）中的任何最大理想都有一个三角形的生成元系统。提议2。每个具有有限个解的系统（在\（K\）的代数闭包中）等价于有限个三角形系统的并集。然后他演示了如何用数字计算三角形集合的公共零点。审核人：J.西村（京都） 引用于三评论引用于46文件 MSC公司： 13第05页 交换环中的多项式、因式分解 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 65H10型 方程组解的数值计算 68瓦30 符号计算和代数计算 关键词：三角形集合;用数字计算公共零点;Gröbner基地 PDF格式BibTeX公司 XML格式引用 \textit{D.Lazard}，J.Symb。计算。13，第2号，117--131（1992；Zbl 0753.13012） 全文： 内政部