最近在查资料时注意到「吴方法」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- wú fāng fǎ
- 字母
- wu fang fa
- 首字母
- wff
- 注音
- ㄨˊ ㄈㄤ ㄈㄚˇ
70年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
吴方法
wú fāng fǎ · ㄨˊ ㄈㄤ ㄈㄚˇ