非线性代数方程组与定理机器证明
✍ 杨路,张景中,侯晓蓉
📂 Library
📅 1996
🏛 上海科技教育出版社
🌐 Chinese
✦ LIBER ✦
📁
非线性代数方程组与定理机器证明
✍ Scribed by 杨路
- Publisher
- 上海科技教育出版社
- Year
- 1996
- Tongue
- Chinese
- Leaves
- 209
- Series
- 非线性科学丛书
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
✦ Synopsis
《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
📜 SIMILAR VOLUMES
非线性方程组数值方法
✍ 范金燕 袁亚湘著
📂 Library
🏛 科学出版社
🌐 Chinese
内容简介 非线性方程组在国防、经济、工程、管理等许多领域有着广泛的应用 本书系统介绍非线性方程组的数值方法和相关理论，主要内容包括：牛顿 法、拟牛顿法、高如牛顿法、Levenberg-Marquardt 方法、信赖域方法、 子空间方法、非线性最小二乘问题、特殊非线性矩阵方程等 本书可作为运筹学、计算数学、应用数学专业研究生和高年级本科生 的教材，也可供从事数学的教师、科研人员及工程技术人员参考．
几何定理机器证明的基本原理
✍ 吴文俊
📂 Library
📅 1984
🏛 科学出版社
🌐 Chinese
<p>《几何定理机器证明的基本原理(初等几何部分)》论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化，因此在理论上，这些几何的定理证明可以借助于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。</p> <p>全书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题.第3章为几何定理证明的机械化与Hilben机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。</p>
简明线性代数
✍ 丘维声
📂 Library
📅 2002
🏛 北京大学出版社
🌐 Chinese
<p>《简明线性代数》2004年被评为“北京高等教育精品教材”。《简明线性代数》是高等学校数学基础课“线性代数”课程的教材。全书共分九章。内容包括：线性方程组，行列式，n元有序数组的向量空间，矩阵的运算，矩阵的相抵与相似，二次型与矩阵的合同，线性空间，线性映射，欧几里得空间和酉空间。《简明线性代数》按节配置适量习题，书末附有习题答案与提示，供教师和学生参考。</p> <p>《简明线性代数》既科学地阐述了线性代数的基本内容，又深入浅出、简明易懂。《简明线性代数》精选了线性代数的内容，由具体到抽象地安排讲授体系，这使综合大学和师范院校的理科学生能由浅入深地学完全书；同时又使工科大学，经济类高校，
交互式定理证明与程序开发
✍ YvesBertot; PierreCasteran
📂 Library
📅 2010
🏛 清华大学出版社
🌐 Chinese
<p>《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。</p> <p>Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建立完整的理论，学习复杂的算法。</p> <p>这《交互式定理证
非线性演化方程
✍ 郭柏灵
📂 Library
🌐 Chinese