吴文俊论数学机械化

吴文俊著1996 年出版659 页ISBN：7532822672

本书是一本比较通俗的写作的汇集，这些写作围绕着数学机械化这一主题，结合有关的史实研讨，反映了作者对整个数学的认识，作者思想的实质，以及作者对发展数学的主张与意图。...

世界著名科学家传记 数学家 2

吴文俊主编1992 年出版279 页ISBN：7030021142

本集收入古希腊著名数学家阿基米德、欧几里得、阿波罗尼奥斯等人的传记24篇

分角线相等的三角形 初等几何机器证明问题

吴文俊，吕学礼著1985 年出版51 页ISBN：7012·0729

力学在几何中的一些应用

吴文俊著2002 年出版29 页ISBN：7030094239

1.从杨辉三角谈起 华罗庚 2.对称 段学复 3.从祖冲之的圆周率谈起 ...

力学在几何中的一些应用

吴文俊著2013 年出版113 页ISBN：9787560340135

本书引用了物理中的一些概念来举例说明如何应用它们来证明一些几何命题。本书内容只涉及中学课程里的一些物理和几何的知识，不涉及深奥的理论。本书主要包括两章，第1章介绍了重心概念的应用，第二章介绍了力系...

计算机基础实用教程

吴文俊主编2014 年出版195 页ISBN：9787307136120

本书从计算机基础知识开始，详细讲解了Windows 7操作系统、中文输入法、常用的Word 2010、Excel 2010和PowerPoint 2010等办公软件的使用方法，并结合当前网络知识迅速普及的实际情况，对局域网、互联网等网络知...

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

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

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

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

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

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

施雅风

吴阶平，杨福家，吴文俊，袁隆平，孙家栋，谢家麟，李家洋，陈清泉，刘国光，汝信主编；杨达寿著2014 年出版360 页ISBN：9787511617811

施雅风（Shi Yafeng），中国地理学家和冰川学家，中国科学院院士。《施雅风》一书，作者杨达寿用饱含感情的笔墨记叙了施先生积极追求进步的一生，潜心科学的一生，默默奉献的一生。《施雅风传》的出版发行，不仅充实了......

高等教育制度经济学分析

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

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