کتاب های 吴文俊
力学在几何中的一些应用
吴文俊, 1964
王者之路: 机器证明及其应用
吴文俊; 张景中; 杨路; 侯晓荣; 刘卓军, 1999
几何定理机器证明的基本原理
吴文俊, 1984
可剖形在欧氏空间中的实现问题
吴文俊, 1978
吴文俊论数学机械化
吴文俊, 1996
吴文俊文集
吴文俊, 1986
