几何定理机器证明的基本原理 初等几何部分

吴文俊著2010 年出版234 页ISBN：9787030283771

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

可剖形在欧氏空间中的实现问题

吴文俊著2010 年出版298 页ISBN：9787030285072

本书是作者从1954年以来在这方面的研究工作的一个总结报告，它的方法在于研究空间的去核p重积，即将p重积除去对角以后所余的空间，这一概念可追溯到vanKampen早在1932年的一篇重要论文。...

刘徽研究

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

中国数学史论文集 1

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

中国数学史论文集 3

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

《九章算术》与刘徽

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

中国数学史论文集 2

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

高等教育制度经济学分析

吴文俊著2011 年出版307 页ISBN：9787811412611

本书是关于高等教育制度的经济学学理研究。把高等教育制度界定为一个社会的高等教育组织及其规则体系、一种关于高深专门知识和价值体系权威配置的社会制度的基础之上，运用制度经济学交易成本理论和成本收益...

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

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

秦九韶与《数书九章》

吴文俊主编1987 年出版482 页ISBN：13243·132