Hoon Hong；达利博尔·雅库什 测试多项式的积极性。 （英语） 兹伯利0916.68084 J.汽车。推理 21，第1期，23-38（1998年）. 总结：数学、逻辑、计算机科学和工程中的许多问题都可以归结为多项式（实数）的正性测试问题。尽管这个问题是可以判定的（由塔斯基在1930年证明），但由于计算时间要求很高，一般的决策方法并不总是实际适用的。因此，在术语重写系统领域提出了几种部分方法。在本文中，我们精确地确定了这些方法的局部性，并提出了具有相同幂次的更简单和/或更有效的方法。 引用于22文件 MSC公司： 2012年第68季度 语法和重写系统 68瓦30 符号计算和代数计算 关键词：多项式的正性；终止证明；术语重写系统 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}和\textit{D.Jakuš}，J.Autom。推理21，No.1，23--38（1998；Zbl 0916.68084） 全文： 内政部