论文部分内容阅读
对于一个系数在可计算序域上的多元多项式方程 ,给出了该方程有实解的两个判别定理 .在此基础上研究了二元多项式 ,从而给出了判定二元多项式的实零点存在性以及半定性的有效方法 .此外 ,藉助于计算机 ,处理了几个有关实例 .处理手段是 :通过无限小量的引进 ,将问题所涉及的系数域扩充为一个可计算的非Archimedes序域 .