论文部分内容阅读
中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法”.
消点法解题数例分析
【摘 要】
：
中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法”.
【出 处】
：
数学通报
【发表日期】
：
2001年4期
其他文献
磁性地质界面的反演是地球物理勘探的重要课题之一 ,对提高磁测资料的地质解释效果具有重要意义 ,本文介绍了反演磁性界面的欧拉算法及其实际应用。
The inversion of magne
通过射线追踪计算模拟海底多次波、层间多次波及全程多次波。计算模拟在工作站上通过交互菜单管理。针对南海珠江口盆地南部多次波严重地区的地质模型 ,进行了模拟试验。根据
目前 ,直接用二维叠偏剖面编制构造图的方法在地震勘探领域的应用已十分广泛 ,但是 ,由于叠偏剖面在交点处的相位不能直接闭合 ,使统一相位的工作成了一个很大的难题。针对这
声激发极化是双相孔隙介质中声场向电磁场转化的过程 ,是两种地球物理波场间作用与转换的结果。本文采用简化的Biot-Rosenbaum模型模拟计算均匀各向同性孔隙饱和介质中的斯通
灵感是一种突如其来的创造性思维.它大多是经过艰苦思考后的顿悟,即人的大脑主体活动的一次飞跃.这种飞跃,有时是逻辑衍化一次大跳,有时是外界因素的触发.
对于函数f(x)=√ax+b+√cx+d的值域,当a,c同号时,显然可以用函数的单调性求解;当a,c异号时,不能用函数单调性求解,近几年各数学刊物介绍了许多好的解法.本文试给出一个求函数