论文部分内容阅读
本文利用数字家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化,给出了两种不同于吴法的算法,并在Maple环境下运行证明了该命题.
初等几何定理的机器证明
【摘 要】
：
本文利用数字家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化,给出了两种不同于吴法的算法,并在Maple环境下运行证明了该命题.
【机 构】
：
乐山师范学院
【出 处】
：
乐山师范学院学报
【发表日期】
：
2001年4期
其他文献
目的分析药剂学新技术以及其对改善药物功效中的作用。方法对国内外相关文献进行查阅,分析总结近年来所出现的药剂学新技术,同时分析这些新生的药剂学技术对改善药物功效的具
目的：研究偏颌畸形患者通过正畸正颌联合治疗后颌面部骨骼对称性改善情况。方法：对15例偏颌畸形的患者行正畸正颌联合治疗，收集治疗前及治疗后的正位头影测量片，通过CASSOS软件对
当前画家根据照片图像来创作已成普遍现象,这一现象在不同程度上导致作品面貌重复,导致造型技巧难度的下滑和造型审美理想的失落,导致画面中想象力和创造性思维的严重萎缩。
目的对口腔修复过程中磁性附着体的应用效果进行探讨。方法选择我院2016年7月至2017年6月收治的口腔修复患者80例,依据随机数字表法分为实验组和常规组,每组各40例。常规组应
收集整理了2018年云南省通海县2次5.0级地震造成的31名受伤人员详细资料,对受伤人员空间分布、年龄分布、性别分布、伤情特征进行分析,得出通海地震受伤人员具有震感较强区域
利用合成辣椒素中性条件下的脂溶性强,而在强碱性条件下其结构中的酚羟基解离,水溶性强的特点,净化提取后供气质联用仪检验。结果显示,在气质联用条件下10ug-300ug/ml范围内
进人新世纪，我国教育信息化进入了快速发展时期，截至2002年底，全国中小学计算机拥有量已达584万余台，建成校园网2．6万多个。但与世界发达国家相比仍存在明显差距，国内城乡之间、东
TammHorsfall蛋白(THP)是存在尿液中的糖蛋白。我们对各种肾脏疾病患者尿中THP的排泄量进行了测定,并对尿中THP在肾脏疾病中的变化及在疾病中的作用进行了初步测定分析,现报
目的总结使用腹腔镜治疗新生儿、婴儿先天性肥厚性幽门环肌狭窄及先天性巨结肠的经验。方法20例患儿年龄16～120d,体重2.7～8kg。先天性肥厚性幽门狭窄和先天性巨结肠各10例。在