实多项式方程有解的非标准判定  

作　　者：曾广兴[1] 

机构地区：[1]南昌大学数学系,南昌330047

出　　处：《中国科学（A辑）》1999年第9期807-816,共10页Science in China(Series A)

基　　金：国家"攀登"计划;国家自然科学基金!(批准号 :196 6 10 0 2 )资助项目

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

关 键 词：计算代数几何 实多项式方程 解 非标准判定 

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