查询结果
吴方法
wú fāng fǎ
ㄨˊ ㄈㄤ ㄈㄚˇ
「吴方法」是什么意思?
更新 2026-07-10 22:44:02
- 拼音字母wu fang fa
- 首字母wff
- 注音符号ㄨ ㄈㄤ ㄈㄚ
扩展释义
70年代后期,在计算机技术大发展的背景下,吴文俊继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为“吴方法”,产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
拆字组词
相关词语
- 一理查含义
- 三慧查含义
- 丢三落四查含义
- 了不可见查含义
- 企业环境查含义
- 传道授业查含义
- 偷兰遮查含义
- 冷轧查含义
- 八里乡查含义
- 刘长祥查含义
- 卡切叶蜂查含义
- 发饷查含义
- 孙夏查含义
- 张月婷查含义
- 张贵芳查含义
- 摊放查含义
- 敲门砖查含义
- 常常查含义
- 棠德路查含义
- 樽前月下查含义
- 杨爽查含义
- 江莎查含义
- 水皮儿查含义
- 湘都府查含义
- 清邪查含义
- 石园西区社区查含义
- 竹二村查含义
- 紫薇查含义
- 腰子查含义
- 自找麻烦查含义
- 郑学查含义
- 锈黄后窗网蛾查含义
- 陆肱查含义
- 领队证查含义
- 黄陵县查含义
- 兵八查含义
- 肉鳍鱼类查含义
- 续断炖羊腰查含义
- 拉菲洛夫查含义
- 朝饥查含义
- 大花惠兰查含义
- 盘谷蟾蜍查含义
- 三粉驴查含义
- 幻神录查含义
- 宽中下气汤查含义
- 鹿茸山药酒查含义
- 疏风消敏丸查含义
- 加减乌沉汤查含义
- 秃疮膏查含义
- 阿德公查含义