论文部分内容阅读
文中给出了一个用于判定有理数域上二元多项式正定性的算法 ,并利用Seidenberg代数曲线决定法证明了该算法的正确性。据此算法编制的Maple程序IsDefinite通过判定该多项式在平面上一个点处取值的符号就能够判定出该多项式是否正定
有理数域上二元多项式正定性的单点判定法
【摘 要】
：
文中给出了一个用于判定有理数域上二元多项式正定性的算法 ,并利用Seidenberg代数曲线决定法证明了该算法的正确性。据此算法编制的Maple程序IsDefinite通过判定该多项式在平面上一个点处取值的符号就能够判定出该多项式是否正定
【机 构】
：
中国科学院成都计算机应用研究所四川成都610041中国科学院成都计算机应用研究所四川成都610041中国科学院成都计算机应用研究所四川成都610041
【出 处】
：
计算机应用
【发表日期】
：
2001年S1期
其他文献
讨论了一项基于映射机制的JSP和JavaBean自动生成技术。在该技术的支持下 ,即使不懂JSP普通的网页设计人员也能够参与JSP应用系统的开发 ,根据预设的映射信息 ,系统自动将HTML文件生成为JSP文件。
城市公交IC卡系统是社会发展的需要 ,在城市服务水平是有举足轻重的地位。本文就城市公交IC卡收费系统的安全保障体系作一详述。
讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型。对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统。最后给出了实验结果和对比分析。
煤化工是煤炭清洁利用的主要方式之一,有序、规范发展煤化工产业是我国煤炭产业供给侧改革的重要任务。我国煤化工产业发展基础较好、潜力较大,部分领域已居国际领先地位,但
随着普通高等学校扩招,学生人数增多,导致很多普通农林院校教育资源紧张,因此很多学校在基础课教学过程中采取了大班授课的教学模式。本文将针对有机化学小班授课与大班授课