论文部分内容阅读
<正>数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完成。利用计算机部分代替人类的脑力劳动,是科学家们长期追求的目标,也是社会发展的必然需要。
吴文俊的数学机械化理论及方法
【摘 要】
：
<正>数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完
【机 构】
：
中国科学院系统科学研究所数学机械化研究中心
【出 处】
：
中国科学院院刊
【发表日期】
：
1991年1期
其他文献
近年来,水土保持信息系统的建设和研究在国内外开展的比较多。由于水土保持监测站点的分散化以及对数据集中化的要求,实现水土保持信息系统中的分布式数据上传应用的需求变得
目的： (1) 建立高脂饮食家兔主动脉粥样硬化模型。 (2) 揭示益气活血中药复方防治动脉硬化炎症反应的作用机制。 方法： 采取高胆固醇饮食及疲劳运动等方法，建立AS气
自国家要求传统媒体与新媒体融合发展以来,融媒体已经逐步占领市场,并且影响力还在不断扩张,各种新闻信息的传播速度也愈加迅捷宽广。由此可知,当党刊进入融媒体时代,必然能
目的 :分析弥漫性腱鞘巨细胞瘤 (D TGCT )的诊断及治疗。方法 :对 1例罕见的伴腹膜后巨大肿块的D TGCT进行临床特征研究 ,并复习了近几年国内外文献。结果 :复习文献共 3例伴
作为一个城市,其建筑类型是千差万别的,从定位上讲必然有些市标志性、有些则是背景性建筑,那么背景性建筑应该如何得到定位,其设计方法又是如何呢,本文试图从城市设计的角度,
从数学上说,逼近问题是指在选定的一类函数中寻找某个函数g,构成目标函数f在一定意义下的近似表示,并求出用g近似表示f所产生的误差。在计算机图形学的很多应用中,需要通过逼
单晶蓝宝石具有良好的热特性、电气特性、透光性、耐磨性和较高的硬度,所以作为发光二极管(LED)、蓝光激光器(LD)的基片广泛应用于大屏幕彩显、特种照明、交通信号、光通讯等
“自由球员”是近年来国际排联对排球规则的修改的一次最大的革命。国际排联于1996年世界女排大奖赛中开始试行,称为“自由球员”或“自由人”(Libero Defensive Player)。“
随着管理理论与管理实践的不断深化,管理目标越来越受到人们的重视,人们期望通过目标来提高管理的功效,这样就逐步形成了一种管理理论和思想体系。从社会因素看,由于科学技术