由于航空、造船、机械设计和制造等行业应用计算机作辅助设计的需要，逐步形成了一个新的计算数学分支——计算几何.这个分支与样条函数有着密切联系。《样条函数与计算几何》叙述样条函数和计算几何的基本理论和方法，同时，总结了作者几年来在该领域中的研究成果.可供从事计算几何理论与应用研究的工作者，航空、造船、机械设计等部门的工程技

《无约束*优化计算方法》讨论处理无约束优化问题的数值方法，主要包括Newton法、共轭梯度法、拟Newton法、Powell直接方法以及非线性*小二乘法，并且阐明了其理论、应用和发展动向.可供计算数学工作者、工程技术人员、高等院校有关专业高年级学生、研究生及教师参考。

本书主要论述有限群的构造理论，分上、下两册.上册是代数领域中关于有限群的一些基本知识.下册论述有限群的专题部分

本书共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑；附录(二)定义了斜形证明，

本书介绍几种常用的线性规划计算方法,如:单纯形法、迭代法等;讨论几种特殊类型的线性规划问题的解法;如:生产组织与管理问题、运输运输、分配问题等。

本书全面介绍了组合论中的计数问题，以及解决计数问题的数学工具，如母函数、容斥原理、（0，1）矩阵的积和式（排列式）等。

本书共六部分，分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质，逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征

全书共分九章,前三章是基础部分,后几章论述在航空、水利、气象诸方面的流体力学理论和应用,书中排印小号字的内容系用以提供进一步的知识,以便对有关问题获得更为深刻的见解。

本书系统地叙述了弹性力学中的各种变分原理,尤其是广义变分原理,以及这些变分原理在理论方面和近似计算方面的应用,讨论到的物体形式有梁、板、扁壳和一般的弹性体。

《快速数论变换（典藏版）》主要介绍快速数论变换的理论、方法、应用及其新进展。数论变换是把数论应用到数字处理中而得到的一种计算方法。其特点是：（1）没有舍入误差：（2）其中某些变换比快速傅里叶变换还快。它不仅在数字处理中有用，还可以应用到多项式、大整数相乘等方面的计算中去。《快速数论变换（典藏版）》可供计算数学工作者、大

本书介绍了高维数值积分的基本方法,其中包括代数方法、数论方法及解析方法,此外,还介绍了高维边界型求积公式的构造方法以及含参变量积分的渐近展开方法等。

《非线性弹性理论》从理性力学观点，系统叙述非线性弹性力学的理论，着重理论的基本概念，使读者除了掌握本理论外，还为进一步了解理性力学的其它方面打下基础。《非线性弹性理论》取目前国际上通用的“两点张量法”和“抽象符号法”之长，首次采用“两点张量抽象符号法”，使之有可能进行简明扼要而严格的数学描述；同时，又避免用过深的数学工

本书介绍了气体动力学基础、激波理论和辐射输运理论。对于高温高压下物质的热力学和光学性质、离解和电离等一些非平衡过程的动力论、在激波中和爆炸时所出现的与光辐射和辐射热交换有关的各种现象等。

全书共12章,前3章讲述力学基础知识、光学基础和光弹性基本原理;第4-5章讲述模型制造和实验设备;第6-9章讲述了二向和三向问题常用的实验方法,并给出实例;第10章介绍了全息干涉法;第11-12分别介绍光弹摄影技术及模型律。

本书分上、下二册。上册为前九章,内容包括:变分法的基本理论;梁、板小挠度和大挠度的静力学、动力学问题;板的热弹性问题;弹性体小位移变形和大位移变形的静力学、动力学问题等。