On Vincent''''s Theorem

Vincent's theorem is the theoretical foundation on which the computer algori-thms so far considered best to isolate polynomial real roots are based. In this pa-per, we present an improvement and an extension of Vincent's theorem. Several     

关于王、謝編高等代数中的一处錯誤

我們所編“高等代数”(人民教育出版社1960年版)第149頁施斗姆定理的証明中有錯誤,这就是第12到14行的那句話是不正确的。那句話应修改如下:“这表示,x經过α时,若α不是f(x)的根,則 f_0(x),f_1(x),…,f_m(x)之間的变号数不变;若α是f(x)的根,则 f_1(x),…,fm(x)之間的变号数不变。”这一錯誤承宁夏水电局李学記同志发現并写信告訴我們,謹在此致謝。     

关于归结原理中的取因子问题

本文提出了约化式的概念。证明了:在归结原理中,使用约化式和二元归结式的概念,而不使用因子的概念,归结原理仍然是完备的。