论文部分内容阅读
中国传统数学的构造性和程序化思想启发和影响了吴文俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力 .
中国古算的程序化思想与吴文俊的数学机械化工作
【摘 要】
：
中国传统数学的构造性和程序化思想启发和影响了吴文俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力 .
【机 构】
：
岳阳师范学院数学系
【出 处】
：
湘潭师范学院学报：自然科学版
【发表日期】
：
2001年3期
其他文献
<正>为了解本区医疗单位消毒效果,加强消毒质量管理,预防医源性感染的发生,我们对辖区12所医院、卫生院开展了消毒质量监测,现将1996～1997年监测情况分析如下。
目前的语文阅读教学设计大多是以学生为中心的,《义务教育语文课程标准（2011年版）》中也指出：＂阅读是搜集处理信息、认识世界、发展思维、获得审美体验的重要途径。＂应该让学生在
为了解重金属Hg2＋对青海湖裸鲤肾脏组织的细胞毒性;以含有Hg2＋的浓度为0.0025、0.005、0.01、0.02mg/L的培养液培养裸鲤肾脏组织细胞;结果表明,0.005mg/L的Hg2＋浓度为裸鲤肾脏细
结合桥梁养护实践,分析桥梁上部结构、下部结构、支座、桥面系及附属设施致命病害的表现特征,提出桥梁养护维修防治措施,对于桥梁养护具有重要的指导作用。
以某大型深水沉井的钢管桩锚墩平台为背景,在相关文献研究的基础上,通过数值模拟分析了钢管桩的水平承载力及变形特征,从而为沉井的非线性约束提供参数依据。分析结果表明,可
对三种非自共轭情形下的本征值和本征函数的求解方法进行了归纳总结。
将盛有盐水溶液、底部有小孔的内套管垂直放入盛有蒸馏水的外套管中,小孔处可以观察到流体上下振荡,这种现象被称为盐水振荡.本文详细地介绍盐水振荡的现象、机理和数学模型,
为了明确烟夜蛾Helicoverpa assulta幼虫血淋巴凝集素的理化性质,采用糖抑制试验和血凝法检测,分别测定了凝集素与不同糖类的结合特性和不同因素对其凝集活性的影响.糖抑制试
以具体的工程实例首先对先简支后连续结构体系的特性进行阐述,然后从孔径的设计和结构的计算两个方面进行先简支后连续结构桥梁的设计,在此基础上从施工步骤和施工工艺两个方
首先对旧桥拆除方法进行研究,归纳了三种旧桥拆除方法,并结合实例小江溪桥旧桥拆除,通过综合比选的方式,最终确定了小江溪桥拆除方法,并对旧桥拆除期间的技术要点以及拆除效