代数方程组相关性的一个判准及其在定理机器证明中的应用  

作　　者：张景中[1] 杨路[1] 侯晓荣[1] 

机构地区：[1]中国科学院成都计算机应用研究所,成都610015

出　　处：《中国科学（A辑）》1993年第10期1036-1042,共7页Science in China(Series A)

基　　金：国家"攀登"计划资助项目

摘　　要：本文在吴-Ritt 整序原理基础上,给出了检验一多项式在一给定的代数簇上是否消没的充要条件,检验方法是切实可行的,且不依赖于代数簇的分解.

关 键 词：代数方程组 相关性 定理机器证明 

分 类 号：O151[理学—数学]