新英汉机械工程词汇.pdf
本书收集了机械学、图学、制造工艺、动力工程、仪表、拖拉机、航空、农业、计算机技术、计算机集成制造系统词汇，以及相关的物理、数学、化学等词汇，共24万余条。
编订
吴文俊全集·数学机械化卷V.pdf
本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求
英汉燃气轮机装置词汇.pdf
本词汇收集有关燃气轮机原理、构造、机件性能、热工原理和空气动力学等方面的词汇约6千条。可供有关专业的生产部门、教学、科研及编译工作者参考。
英汉水文学词汇.pdf
本书是国内第一本最详尽的综合性水文学专业词汇。共收词42,000条，包括水文科学各分支和有关学科，如河流学、湖泊学、沼泽学、冰雪学、冰川学、海洋学、气象学、气候学、自然地理学、地质学、数学、统计学、化学、物理学、无线电电子学、水利工程、土木工程、测量学、生物学（特别是植物学）、林
英汉数学词汇.pdf
本书是我社1956年出版的《数学名词》和1964年出版的《数学名词补编》的增修订合编本。共收有代数、几何、分析数学、数理逻辑、概率统计、运筹学、计算数学等分支学科的名词约16,000条。 本书可供大专院校师生及有关专业的科技人员参考。
吴文俊全集·数学机械化II.pdf
本卷收录了吴文俊的Mechanical Theorem Provingin Geometries：Basic Principles一书。《吴文俊全集·数学机械化II》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可
英汉等离子体物理学与受控核聚变词汇.pdf
本书包括等离子体物理学与受控核聚变方面的词汇约7500条。书后有“国外主要受控核聚变装置的名称、类型和所在地”，“国外受控 核聚变研究主要国家、国际组织和主要研究机构名称缩写”两个附录。可供有关专业的科研、教学、工程技术人员及编译工作者参考。
吴文俊全集·数学史卷.pdf
《吴文俊全集·数学史卷》收载了吴文俊的全部数学史论文, 包括作者的第一篇数学史论文——《中国古代数学对世界文化的伟大贡献》、被引用频率最高的数学史论文之一—《出入相补原理》, 以及在国际数学家大会上的邀请报告等. 这些论文中一个贯串始终的主题是关于数学发展的两种主流的观点:以希腊
日汉计算技术词汇. 续编.pdf
本书收有各类应用软件、系统软件、操作系统以及巨型机等方面的名词术语约37，000余条。正文附有日语汉字索引及汉字索引检字表。