数学机械化丛书
简介 · · · · · ·
-
数学机械化
吴文俊 / 科学出版社 / 2006-12 / 58.00元(少于10人评价)《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学，使数学推理机械化以...
-
近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究
黄文奇 / 科学出版社 / 2004-6 / 20.00元(少于10人评价)《近世计算理论导引:NP难度问题的背景、前景及其求解算法研究》对迄今为止的历史上的有关计算理论了的实质性成果作了深刻、严格而又直观的论述。为计算机科学的实质...
-
不等式机器证明与自动发现
杨路、夏壁灿 / 科学出版社 / 2008-1 / 45.00元(少于10人评价)《不等式机器证明与自动发现》主要介绍作者及其合作者近十年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法，全书共分7章，分别介绍和论述多项式的伪除...
-
进程代数 : 数学机械化丛书
王永祥 / 科学 / 2007-6 / 25.00元(少于10人评价)本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称...
-
实域论
曾广兴 / 科学出版社发行部 / 2003-12 / 50.00元(少于10人评价)《实域论》共分9章．前两章围绕著名的Artin-Schreier理论，介绍与实域、序域和实闭域相关的概念和结论．第三章讨论了域的实赋值和实位以及它们与序之间...
-
方程求解与机器证明
高小山 等著 / 科学出版社 / 2008-6 / 55.00元(目前无人评价)《方程求解与机器证明:基于MMP的问题求解》主要包括两部分内容：一是对MMP的基本功能的介绍，主要是前三章；二是通过MMP的实例介绍了数学机械化的基本理论与...
-
几何定理机器证明的几何不变量方法
张景中、高小山、周咸青 / 科学出版社 / 2015-4 / 128(少于10人评价)本书系统介绍了几何定理机器证明的几何不变量方法. 主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量...
-
公理化集合论机器证明系统
郁文生、孙天宇、付尧顺 / 科学出版社 / 2019-12 / 128.00元(少于10人评价)布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现...
-
交互式马尔可夫链
吴尽昭,王永祥,覃广平 / 科学出版社 / 2007-6 / 28.00元(少于10人评价)《交互式马尔可夫链:并发系统的设计、验证与评价》主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时...
-
分析基础机器证明系统
郁文生、付尧顺、郭礼权 / 科学出版社 / 2022-1 / 198.00元(少于10人评价)本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著...