实多项式方程有解的非标准判定
作者机构：南昌大学数学系南昌330047
出 版 物：《中国科学（A辑）》 (Science in China(Series A))
年 卷 期：1999年第29卷第9期
页 面：807-816页
核心收录：
学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学]
基 金：国家"攀登"计划 国家自然科学基金!(批准号 :196 6 10 0 2 )资助项目
摘 要：对于一个系数在可计算序域上的多元多项式方程 ,给出了该方程有实解的两个判别定理 .在此基础上研究了二元多项式 ,从而给出了判定二元多项式的实零点存在性以及半定性的有效方法 .此外 ,藉助于计算机 ,处理了几个有关实例 .处理手段是 :通过无限小量的引进 ,将问题所涉及的系数域扩充为一个可计算的非Archimedes序域 .
维普期刊数据库
同方期刊数据库