70年代后期,在计算机技术大发展的背景下,吴文俊继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为“吴方法”,产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
吴方法在离散数学谓词演算教学中的应用-计算机光盘软件与应用 关键词:离散数学;自动推理;吴方法 [gap=593]Keywords:Discrete mathematics;Automated reasoning;Wu's method
基于72个网页-相关网页
李特-吴方法 Ratti-Wu method
From algebra soluble aspect, the thesis users DM decomposition and WU method to give an approach, which can determine parametric effective range for geometric constraints.
本文利用DM分解算法和吴方法从代数可解的角度给出一个确定几何约束求解中参数的有效范围的算法。
参考来源 - 参数化设计中确定参数有效范围的DM分解算法的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
在解决问题的过程中吴方法是最重要的基本工具。
Wu method is the most important basic tool during the course of solving these equations.
将吴方法运用到平面基本运动链的位移分析中,完成了一种7杆巴氏桁架的位移分析。
The Wu Method was applied to the forward displacement analysis of planar basic kinematic chains. A 7-link Barravo truss which is associated with 6-link and 9-joint Assur groups was studied.
吴季聪通过使用相对简单的技术装置来找到捕捉或重塑自己周围世界的形象的方法。 他非常热衷于这种近乎偶然的发现。
Wu Chi-Tsung thus takes delight in almost accidentally finding ways to capture or re-imagine the world around him through the use of a rather simple technical device.
应用推荐