大约有554项符合查询结果项。（搜索耗时：0.0199秒）
为您推荐： 洛朗级数与展开 留数定理详解 洛朗定理 复分析与洛朗级数 洛朗级数 级数
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
初中 数理化生 公式定理解题手册
李善姬，金英兰，魏昌云等主编2009 年出版498 页ISBN：9787563427499《初中数理化生公式定理解题手册》是按照初中新课标为体系，通过此书既能巩固所学的知识又可以使学生迅速掌握学科的重点、难点和解题方法。本书由以下板块构成；章节知识梳理，公式，定理，例题与参考答案。本书的编...
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
修订版初中数理化公式定理大全
石春蕊，翟金鹏，丁连才主编2008 年出版386 页ISBN：9787801035585《初中数理化公式定理大全》（修订版）是一部初中理科教辅工具书，全书448千字.本书按学科分为数学、物理、化学3部分，内容涵盖了"新课标"各版本教材的全部必修和选修知识点.全书以词条为单元编辑而成，内容充实完备...
-
集值极大极小定理与集值博弈问题
张宇编著2018 年出版121 页ISBN：9787030554550本书主要分为两部分内容：集值极大极小定理与集值博弈问题。分别在向量优化准则与集优化准则下不同准则下研究集值极大极小定理。主要分为：集值极大极小定理与锥鞍点、向量集值极大极小定理、向量集值KyFan极...
-
从代数基本定理到超越数 一段经典数学的奇幻之旅
冯承天著2017 年出版148 页ISBN：9787567558588本书分为四个部分，共计十四章，如“从自然数系到有理数系”、“无理数与实数系”、“代数、基本定理的定性说明”、“业余数学家阿尔岗的证明”、“美国数学家安凯屈的证明”、“圆周率及其元理性”、“自然对...
-
数学难题探索：费尔马大定理和四色问题证明
徐俊杰著2007 年出版106 页ISBN：9787561222003本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...
-
一个定理的诞生 我与菲尔茨奖的一千个日夜
（法）塞德里克·维拉尼著；（法）克劳德·龚达尔绘；马跃，杨苑艺译2016 年出版238 页ISBN：71154070452010年，法国青年数学家塞德里克·维拉尼凭借对非线性朗道阻尼的证明以及对玻尔兹曼方程收敛至平衡态的研究，一举摘得菲尔茨奖章。维拉尼将以日记形式再现这段研究生涯，揭示一个数学定理的诞生历程，描绘数学家和...
-
