【摘 要】
:
文中给出了一个用于判定有理数域上二元多项式正定性的算法 ,并利用Seidenberg代数曲线决定法证明了该算法的正确性。据此算法编制的Maple程序IsDefinite通过判定该多项式在平面上一个点处取值的符号就能够判定出该多项式是否正定
【机 构】
:
中国科学院成都计算机应用研究所四川成都610041中国科学院成都计算机应用研究所四川成都610041中国科学院成都计算机应用研究所四川成都610041
论文部分内容阅读
文中给出了一个用于判定有理数域上二元多项式正定性的算法 ,并利用Seidenberg代数曲线决定法证明了该算法的正确性。据此算法编制的Maple程序IsDefinite通过判定该多项式在平面上一个点处取值的符号就能够判定出该多项式是否正定
其他文献
目的:分析骨化三醇冲击治疗尿毒症继发性甲状旁腺功能亢进的疗效。方法:将2011年2月~2013年1月本院尿毒症继发性甲状旁腺功能亢进患者83例纳入研究,根据患者意愿分为A、B组,均接受
讨论了一项基于映射机制的JSP和JavaBean自动生成技术。在该技术的支持下 ,即使不懂JSP普通的网页设计人员也能够参与JSP应用系统的开发 ,根据预设的映射信息 ,系统自动将HTML文件生成为JSP文件。
目前在微机上打印程序清单的方法有多种,常用的有 CC DOS 的 TY PE(文件名)>PRN 命令,BASIC 系统的 LL IST 命令,C-dBASE Ⅲ的 TYPE(文件名)TO PRINT 命令(该命令在 dBASE Ⅲ说明书里没
城市公交IC卡系统是社会发展的需要 ,在城市服务水平是有举足轻重的地位。本文就城市公交IC卡收费系统的安全保障体系作一详述。
讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型。对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统。最后给出了实验结果和对比分析。
以“三好一满意”为目标的服务已被越来越多的医院所重视并落实到医院的服务工作中。导医人员作为与患者的第一接触者,所以导医人员的自身素质至关重要,她们的形象、气质、服务
煤化工是煤炭清洁利用的主要方式之一,有序、规范发展煤化工产业是我国煤炭产业供给侧改革的重要任务。我国煤化工产业发展基础较好、潜力较大,部分领域已居国际领先地位,但
随着普通高等学校扩招,学生人数增多,导致很多普通农林院校教育资源紧张,因此很多学校在基础课教学过程中采取了大班授课的教学模式。本文将针对有机化学小班授课与大班授课
根据学校培养目标的要求,基础化学实验在教学方法和教学内容上进行了改革,利用信息化技术平台加强预习效果,多种教学模式结合改进课堂教学,实践表明,学生的积极性提高,学习氛
<正> 一、九十年代的新颖计算机去年,以计算界的奇才怪杰 Steve Jobs 为首的 Next 公司推出一种风格崭新的微机:Next。该机甫一问世,便引起广泛兴趣,在学术教育界中更是倍受