吴文俊全集 数学机械化 3

（中国）吴文俊2019 年出版372 页ISBN：9787508855523

Menelaus定理

吴文俊著2016 年出版181 页ISBN：7560355115

数学机械化

吴文俊著2003 年出版380 页ISBN：7030107640

刘徽研究

吴文俊主编1993 年出版505 页ISBN：7541932639

中国数学史论文集 1

吴文俊主编1985 年出版133 页ISBN：13275·22

中国数学史论文集 3

吴文俊主编1987 年出版160 页ISBN：7532801098

《九章算术》与刘徽

吴文俊主编1982 年出版345 页ISBN：13243·24

吴文俊文集

吴文俊著1986 年出版393 页ISBN：13275·39

中国数学史论文集 2

吴文俊主编1986 年出版124 页ISBN：13275·37

王者之路 机器证明及其应用

吴文俊主编1999 年出版195 页ISBN：7535728588