注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 自动定理证明基础(计算机)

  2. 计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等

  3. 所属分类：专业指导

    • 发布日期：2009-06-09
    • 文件大小：3145728
    • 提供者：yongyongok

  1. 2010考研定理证明总结

  2. 总结了2010年的各种课本上的重要定理的证明

  3. 所属分类：专业指导

    • 发布日期：2009-08-20
    • 文件大小：114688
    • 提供者：yc20064321

  1. 考研定理证明.rar

  2. 考研定理证明，考研中常用的数学定理 及公式证明 还是不错的

  3. 所属分类：专业指导

    • 发布日期：2009-10-28
    • 文件大小：114688
    • 提供者：zuibeidemei

  1. 中值定理证明的归一性及应用

  2. 介绍拉格朗日中值定理和柯西中值定理证明的归一性，通过例题说明三个中值定理的应用。

  3. 所属分类：专业指导

    • 发布日期：2010-04-26
    • 文件大小：131072
    • 提供者：qdwowzb

  1. 带通信号采样定理证明

  2. 奈奎斯特抽样定理，带通信号抽样定理，定理的证明过程

  3. 所属分类：3G/移动开发

    • 发布日期：2013-05-07
    • 文件大小：80896
    • 提供者：u010604417

  1. 几何专家 几何定理证明

  2. 《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自

  3. 所属分类：专业指导

    • 发布日期：2014-03-05
    • 文件大小：1048576
    • 提供者：u013801315

  1. 维纳辛钦定理证明

  2. 随机信号处理课程中关于常见的维纳辛钦定理的证明

  3. 所属分类：讲义

    • 发布日期：2015-11-08
    • 文件大小：154624
    • 提供者：kuaiyangliukuai

  1. 基于相继式演算的一阶逻辑定理证明器设计与实现

  2. 基于相继式演算的一阶逻辑定理证明器设计与实现 基于相继式演算的一阶逻辑定理证明器设计与实现

  3. 所属分类：其它

    • 发布日期：2018-01-01
    • 文件大小：3145728
    • 提供者：kingbox2008

  1. 费马大定理证明

  2. 费马定理学术证明，数学控值得收藏。 X^n + y^n = Z^n n大于3时，该等式没有正整数解。 简洁的命题，证明的费尽，期待费马的巧妙证明。

  3. 所属分类：专业指导

    • 发布日期：2012-11-09
    • 文件大小：10485760
    • 提供者：wanglers

  1. 隐函数存在定理 证明

  2. 隐函数存在定理 隐函数微分法一个方程一个自变量的情形

  3. 所属分类：专业指导

    • 发布日期：2010-09-26
    • 文件大小：93184
    • 提供者：wideword2000

  1. tpp2021:第17次定理证明和证明会议（TPP 2021）-源码

  2. tpp2021:第17次定理证明和证明会议（TPP 2021）

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：1024
    • 提供者：weixin_42132359

  1. kombucha:系统T的定理证明者-源码

  2. kombucha:系统T的定理证明者

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：16384
    • 提供者：weixin_42137022

  1. lean4-experiments:使用Lean 4定理证明者进行的一些初步实验，探索了与HLM交互的可能性-源码

  2. lean4-experiments:使用Lean 4定理证明者进行的一些初步实验，探索了与HLM交互的可能性

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：20480
    • 提供者：weixin_42125826

  1. deepmath:神经网络定理证明的实验-源码

  2. 深渊 Deepmath项目旨在使用深度学习和其他机器学习技术来改进自动定理证明。 Deepmath是与几所大学之间的合作。 免责声明： 该存储库中的源代码不是Google的官方产品，而是与外部研究团队的研究合作。 安装 Deepmath依赖于TensorFlow，后者作为子模块包含在内。 使用或查看Dockerfile来deephol我们的神经证明程序deephol的构建说明。 它需要连接到校对助手服务器。 有关服务器实现，请参见 。

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：2097152
    • 提供者：weixin_42143161

  1. ayane:定理证明者-源码

  2. ane 定理证明者

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：99328
    • 提供者：weixin_42113380

  1. Isabelle：与定理证明有关的代码-源码

  2. 伊莎贝尔 与定理证明有关的代码

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：5120
    • 提供者：weixin_42113754

  1. z3：Z3定理证明-源码

  2. Z3 Z3是Microsoft Research的一个定理证明者。 它是根据获得。 如果您不熟悉Z3，则可以从开始。 可从获得用于稳定和夜间发布的预构建二进制文件。 Z3可以使用 ， 或构建。 它提供。 有关Z3的各种稳定版本的，请参阅。 建造状态 Azure管道 TravisCI 使用Visual Studio命令提示符在Windows上构建Z3 32位版本，开始于： python scr ipts/mk_make.py 或者，对于64位版本： python scr ipts

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：5242880
    • 提供者：weixin_42165490

  1. KeYmaeraX版本：KeYmaera X：混合系统的无公害战术定理证明（发行）-源码

  2. 混合系统的KeYmaera X定理证明 自动驾驶汽车，自动驾驶机器人，现代飞机或机器人手术：我们越来越多地将生命委托给计算机，因此，除了最高的安全标准-数学正确性证明之外，我们应该一劳永逸。 可以使用KeYmaera X证明程序来构造此类网络物理系统的证明。 作为混合系统定理的证明者，KeYmaera X用微分动态逻辑分析了控制程序和受控系统的物理行为。 KeYmaera X具有仅约2000行代码的最小内核，该内核隔离了所有对可靠性要求严格的推理。 如此小的和简单的证明者核心使信任验证结果变得

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：57671680
    • 提供者：weixin_42139429

  1. LinearOne：LinearOne是用于一阶（乘法，直觉）线性逻辑的原型定理证明器-源码

  2. LinearOne：LinearOne是用于一阶（乘法，直觉）线性逻辑的原型定理证明器

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：310272
    • 提供者：weixin_42174098

  1. WangsAlgorithm：使用Wang算法在Haskell中的经典命题定理证明-源码

  2. WangsAlgorithm：使用Wang算法在Haskell中的经典命题定理证明

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：12288
    • 提供者：weixin_42132325
« 12 3 4 5 6 7 8 9 10 ... 35 »