论文部分内容阅读
以吴方法和变量消去法为理论基础，给出了可用多项多方程组表示的定理的机器证明方法以及个体算法。
复数域上的机器定理证明
【摘 要】
：
以吴方法和变量消去法为理论基础，给出了可用多项多方程组表示的定理的机器证明方法以及个体算法。
【机 构】
：
西北师范大学计算机科学系,宁夏青铜峡铝厂中学数学组
【出 处】
：
西北师范大学学报：自然科学版
【发表日期】
：
1998年2期
其他文献
在上一章(事实上贯穿全书)我所持的观点是。持续的艺术创造力与去祖存精或创立新意这项特殊工作密切联系在一起,此项工作涉及传统。崇高的体验亦复如此。艺术创造力靠题目的
法律实证主义是20世纪西方三大主要法学流派之一,同时,它还是一个难以精确界定的法学流派。法律实证主义是使用分析方法研究实在法的描述性法律理论,其主旨在于:通过概念分析
传媒市场在我国已经进入了一个高速发展的时期 ,为规范与引导传媒业的经济活动 ,必须从经济学的角度对传媒市场进行特征分析。本文认为 ,传媒市场整体上具有三大特征 :本质上
针对某高速公路一段复杂地质环境路堑的特点，采用多种爆破参数和周密的安全措施，成功地控制了爆破地震波和飞石，完成了该段路堑工程的控制爆破。
根据堆肥不同阶段特点,通过接种和不接种堆肥实验,分别研究升温-高温阶段和高温-降温阶段动力学.从得到的动力学方程分析可知:接种复合微生物菌剂,在升温-高温阶段最大反应速
随着信息时代的逐步发展,商用写字楼在各大城市快速崛起,同时人们思想观念的更加开拓,办公的空间也越来越注重人性化的设计,带给工作者更好的工作环境,从而工作者有更积极的
改革开放以来，我国科技体制改革取得了一定的成绩，但也存在着一定的弊端，如科学技术与生产相脱节；科研投入不足、投资主体错位等。应该说这些弊端的实质是科技非市场化，即科研机构
在 0 .0 4mol/L H2 SO4 和 8.0× 10 - 4mol/L KI介质中 ,罗丹明 6G ( Rh G)在 5 80 nm处有 1个同步荧光峰。当有 Cr( )存在时 ,Cr( )与过量的 I-反应生成 I- 3,I- 3与 Rh G形成缔合微粒 ,在 32 0、40 0、5 95 nm处产生 3个共振散射 ( RS)峰 ;而在 5 80nm处荧光峰猝灭。六价铬浓度在 1.0
数字签名在信息安全中具有重要的作用，针对一种ELGamal签名体制的变形．分析了它的安全性；证明了对它的攻击等价于解有限域上的离散时数问题，并对变形后体制的计算效率与原方案做