摘要
对于一个系数在可计算序域上的多元多项式方程 ,给出了该方程有实解的两个判别定理 .在此基础上研究了二元多项式 ,从而给出了判定二元多项式的实零点存在性以及半定性的有效方法 .此外 ,藉助于计算机 ,处理了几个有关实例 .处理手段是 :通过无限小量的引进 ,将问题所涉及的系数域扩充为一个可计算的非Archimedes序域 .
出处
《中国科学（A辑）》
CSCD
1999年第9期807-816,共10页
Science in China(Series A)
基金
国家"攀登"计划
国家自然科学基金!(批准号 :196 6 10 0 2 )资助项目
