方程求解与机器证明 : 基于MMP的问题求解.pdf
本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
问题求解
高等代数问题求解的多向思维.pdf
本书是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。全书精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题，给出多种证法或解法，反映高等代数各类知识点之间的有机联系，注重问题解决的
商空间与粒计算 : 结构化问题求解理论与方法.pdf
本书对粒计算基础理论、模型及典型应用等进行了深入的讨论。内容涉及粒计算思想与方法、商空间、相容力度空间、覆盖、粒逻辑等方面。
三支决策：复杂问题求解方法与实践.pdf
本书主要介绍三支决策理论、模型与方法，以及在工程、管理等领域中的实践，并力图展现三支决策的最新研究成果。
自适应约束满足问题求解方法的研究.pdf
约束求解是人工智能领域最热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并引领约束求解的发展方向。本书详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法