银行，B。;M.朱斯蒂。;J.海因茨。;G.M.姆巴科普。 极地品种和有效的真正消除。 （英语） Zbl 1073.14554号 数学。Z.公司。 238，第1期，第115-144页（2001年）. 小结：设（S_0）是一个光滑紧致的实簇，由多项式（f_1，dots，f_p）的约化正则序列给出。本文致力于有效地为（S_0）的每个连通分量找到一个代表点的算法问题。为此，我们展示了描述（S_0）的一般极变种的显式多项式方程。这导致了一个程序，该程序可以及时解决我们的算法问题，即在输入方程（f_1，dots，f_p）的（外部）描述长度和适当引入的内在几何参数（称为给定方程系统（f_1，dots、f_p的真实解释程度）中是多项式。 引用于1审查引用于31文件 MSC公司： 14第05页 实代数集 1999年第14季度 代数几何中的计算方面 68瓦30 符号计算和代数计算 PDF格式BibTeX公司 XML格式引用 \textit{B.Bank}等人，数学。Z.238，No.1，115--144（2001；Zbl 1073.14554） 全文： 内政部 arXiv公司