论文部分内容阅读
数学机械化一词，出自于美籍华人科学家王浩1960年发表的题为《向机械化数学前进》一文，后被吴文俊院士肯定而沿用。曾有一段时期“机械化方法”又称“机器证明”。机械化方法就是寻找一个依据一定法则可以按部就班机械地进行的方法，在现代通常称为算法，而算法可
数学机械化与我国数学家所取得的巨大成就
【摘 要】
：
数学机械化一词，出自于美籍华人科学家王浩1960年发表的题为《向机械化数学前进》一文，后被吴文俊院士肯定而沿用。曾有一段时期“机械化方法”又称“机器证明”。机械化方法就
【机 构】
：
江西师大数信学院330027
【出 处】
：
中学数学研究（江西师大）
【发表日期】
：
2004年2期
其他文献
桂林市中山路综合管理办公室和中山路置业建设管理有限责任公司成立于2000年12月，对北起桂林火车始发站，南至迎宾路收费站，全长19.2公里的中山路实行市容市貌等全方位综合管理。
本文报道通过综合大地电磁调查数据研究青藏高原岩石圈三维电阻率模型的初步成果.大地电磁法调查区域已经覆盖了高原大部分面积,为全区三维电阻率成像研究打下了可靠的基础.
本文针对体系认证与产品认证的区别和相互关系进行了阐述。企业在实施过程中应将产品质量保证能力与ISO9000标准整合在一起，形成统一的管理标准，并对如何搞好两者关系提出了建
市场经济体制下，法定质检机构如何发挥自身的优势，广开渠道，拓展技术服务领域，为社会提供有效的技术检测、技术攻关、技术基础知识及信息咨询等技术服务，从而逐步走向市场，已成为质
很多健康俗语似乎慢慢威“事实”，而美国“博闻网”针难些老生常谈的健康俗语．请权威专家做了解答。一天一个果，医生远离我此话虽然有些夸大，但苹果的确有益健康。它富含抗氧化物
目的：观察昆明山海棠联合较小剂量甲氨蝶呤治疗老年起病类风湿关节炎（EORA）的疗效和安全性。方法：72例活动性EORA患者随机分成两组。治疗组40例，昆明山海棠3片口服，每日3次，甲氨蝶呤
导数是高中新教材新增的近代数学最优秀的成果之一．它的出现为求曲线的切线方程、函数的单调区间、函数的极值等问题的解决开辟了一条崭新的道路；给传统的高中数学内容注入了勃
铸造生产中旧砂再生处理的主题意义日益明确,而工艺装备的技术特性和实用性还有待进一步的研究开发。描述了二种不同结构形式的热旧砂增湿均化快速冷却的工艺装备,是适用于中