中立型系统的稳定性与可达集边界 线性矩阵不等式方法

本书给出了几类具有代表性的中立型系统和中立型鲁里叶系统的稳定性和指数稳定性问题研究及稳定性条件；两类具有有界扰动的中立型系统的可达集的椭球形边界问题研究，并得到了寻找系统可达集的椭球形边界的有效...

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

民事诉讼证明的方法论 以事实证明为中心

诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....

不等式·理论·方法 经典不等式卷

本书是论述不等式的理论与方法的一本专门著作，主要围绕着若干著名的经典不等式，从它们的证明方法、相互之间的联系以及它们的应用等几个方面加以系统地论述。本书可以作为大学生选修课的教材，或数学研究工作者...

不等式·理论·方法 特殊类型不等式卷

本书是论述不等式的理论与方法的一本专门著作，主要介绍了一些特殊类型的不等式，它们主要是三角不等式与几何不等式，以及绝对值不等式，复数不等式，数列不等式，函数不等式等。本书可以作为大学生选修课的教材，或......

不等式·理论·方法 基础卷

本书是论述不等式的理论与方法的一本专门著作。第一章介绍了不等式的概念和基本理论；第二章全面系统地论述了各种类型的不等式和不等式组的解法，详细归纳了解不等式和不等式组的常用技巧；第三章总结了证明不等...

证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

约束矩阵方程最佳逼近解的求解方法

约束矩阵方程的最佳逼近问题是数值代数的重要研究领域之一，它在故障检测、遥感、自动化控制、结构动力学、光谱分析、生物学、电学等领域都有重要的应用。本书的主要内容包括：约束矩阵方程及其最佳逼近问题的...

代数方程的根式解及伽罗瓦理论

本书是一位大学分析学教授在学习伽罗瓦理论时的心得体会，本书以还原历史的视角，以亿元方程的求根公式讲起，配以大量简单例子帮助初学者通过自学掌握伽罗瓦理论这一抽象代数中的经典内容。本书适合大学、中学师...

超预期 小米的产品设计及营销方法