论文部分内容阅读
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系.
定理机械化证明的数值并行法及单点例证法原理概述
【摘 要】
：
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系.
【机 构】
：
中科院成都分院数理科学研究室; 中科院成都分院数理科学研究室;
【出 处】
：
数学的实践与认识
【发表日期】
：
1989年01期
其他文献
<正>在《Flexner报告》发表100年之际,由20位国际医学教育专家组成的一个独立委员会——21世纪全球医学卫生教育专家委员会(Global Commis-sion on Health Professional Educ
目的评价MRI和骨扫描对乳腺癌骨转移的诊断价值。方法检索PubMed、EMbase、Cochrane图书馆、CBM、CNKI和VIP等数据库,按照诊断试验的纳入标准筛选关于MRI和骨扫描对乳腺癌骨
目的为一例因“反复活动后心悸1+月”的早发绝经女性冠心病稳定期患者制定治疗方案。方法根据患者临床状况,提出“如何改善冠心病患者稳定期预后”等7个临床问题,检索Cochran
新疆准噶尔地区也布山、庙儿沟两个晚古生代后碰撞准铝过铝质花岗岩体中 ,广泛发育大量的暗色微粒闪长质包体。岩石学、矿物学、主量元素和微量元素地球化学研究表明 ,包体与
环境成本在计算中存在追溯难的问题,而作业成本法在归集、分配环境成本中存在一定的优势。并以某化工厂为例,对运用作业成本法计算环境成本的基本步骤作了详细的说明。
<正> 咏史诗在李商隐的诗歌创作中占有重要地位。朱鹤龄阐发释道源对商隐诗"推原其志义,可以鼓吹少陵"(钱谦益《有学集》卷十五《李义山诗集序》引道源语)的评价,这样写道:
文化旅游是近年来旅游的热点,没有文化的旅游是没有生命力的。文章运用民族文化学的有关理论,主要论述我国少数民族文化与旅游的关系,开展民族文化旅游的意义,民族文化旅游现
基于统计数据分析表明,安徽大别山革命老区农业劳动生产率、农地产出率和农民人均纯收入均低于安徽省平均水平,自然环境、设施装备、科技教育等因素制约着老区农业发展和农民