自动定理证明

本专辑为您列举一些自动定理证明方面的下载的内容,自动定理证明等资源。把最新最全的自动定理证明推荐给您,让您轻松找到相关应用信息,并提供自动定理证明下载等功能。本站致力于为用户提供更好的下载体验，如未能找到自动定理证明相关内容，可进行网站注册，如有最新自动定理证明相关资源信息会推送给您。

阅读全文

自动定理证明

: Automatic-Theorem-Prover-master_自动定理证明_ 命题逻辑自动证明器，可以输入一阶逻辑命题前提得出结论
评级：5 浏览量：126 收藏量：0 资源大小：20KB 上传时间：2021-09-29

: VanHElsing:基于 E 证明器的 Python 中的自动定理证明器范海辛自动定理证明器使用基于 E 证明器和 Satallax 的 Python 策略机器学习。用法 VanHElsing$ python src/helsing.py -husage: helsing.py [-h] [-t TIME] [-p PROBLEM] [-c CONFIGURATION]Van HElsing 1.0 --- ...
评级：0 浏览量：60 收藏量：0 资源大小：100.46MB 上传时间：2021-06-11

: 自动定理证明Automated Theorem Proving 使学生对自动定理证明中的核心技术有透彻的了解，使他们能够将方法转移到不同的逻辑或应用程序中。
评级：0 浏览量：201 收藏量：0 资源大小：107B 上传时间：2019-11-15

: 计算机科学逻辑-自动定理证明的基础Logic For Computer Science - Foundations of Automatic Theorem ... 数学逻辑入门，着重于证明理论和算法上构造公式的形式证明的过程。
评级：1 浏览量：292 收藏量：0 资源大小：104B 上传时间：2019-11-15

: apia:Haskell程序，用于使用一阶逻辑的自动定理证明器来证明用Agda编写的一阶定理 Apia是Haskell程序，用于使用一阶逻辑（ATP）的自动定理证明器来证明用编写的一阶定理。在调用ATP之前，将Agda公式转换为语言。 Apia通过结合交互式和自动证明来对功能程序进行推理（请参阅）。先决条件 ...
评级：0 浏览量：68 收藏量：0 资源大小：329KB 上传时间：2021-05-10

: theorem-prover, 一阶逻辑的自动定理证明器.zip theorem-prover, 一阶逻辑的自动定理证明器一阶逻辑的自动定理证明器。对于任何可以证明的公式，该程序都可以以找到证明( 最终) 。然而，由于 hilbert的否定答案，有一些unprovable公式会使这个程序永远循环。...
评级：0 浏览量：416 收藏量：1 资源大小：9KB 上传时间：2019-09-17

: Etableau:结合了微积分和表格的自动定理证明器 Etableau Etableau是基于Eprover的一阶逻辑的一阶定理证明器，将其用作库。 Etableau以一种新颖的方式将叠加演算与子句式演算相结合，使用该演算来生成引理和新的假设，这些假设和新假设可用于在某些情况下查找矛盾...
评级：0 浏览量：44 收藏量：0 资源大小：4.55MB 上传时间：2021-04-17

: 大数据-算法-用于指针逻辑的自动定理证明器的设计.pdf 大数据-算法
评级：0 浏览量：26 收藏量：0 资源大小：4.6MB 上传时间：2022-04-16

: Talos:由RPI的RAIR Labs设计的DCEC *的自动定理证明器，即Deontic认知事件演算 DCEC* 的自动定理证明器，在 RPI 的 RAIR 实验室设计的道义认知事件演算，可在此处找到： ://rair.cogsci.rpi.edu/projects/the-deontic-cognitive-event-calculus 这是建立在 SPASS 系统上的，可以在这里找到： : ...
评级：0 浏览量：63 收藏量：0 资源大小：1.42MB 上传时间：2021-05-31

: ATP2:我第二次尝试基本自动定理证明，这次是在球拍中 ATP2 我第二次尝试基本自动定理证明，这次是在球拍中
评级：0 浏览量：28 收藏量：0 资源大小：8KB 上传时间：2021-04-07

: 自动定理证明基础(计算机) 计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等
评级：5 浏览量：284 收藏量：1 资源大小：3MB 上传时间：2009-06-09

: CVC4：CVC4是一个有效的开源自动定理证明器，可满足模数理论（SMT）问题 CVC4 CVC4是用于确定一阶公式（或此类理论的组合）的一阶公式的可满足性的工具。它是“协作有效性检查器”工具家族（CVC，CVC Lite，CVC3）中的第四类，但未直接合并任何先前版本的代码。如果您在工作中使用CVC4或...
评级：0 浏览量：271 收藏量：0 资源大小：9.36MB 上传时间：2021-02-17

: elfe:学生互动定理证明 这种表示意味着某些证明义务，这些义务由自动定理证明者检查。介绍该技术。安装您可以在线尝试Elfe。为了在本地安装Elfe，首先需要将Settings-example.hs复制到Settings.hs并根据需要进行调整（自动定理证明需要...
评级：0 浏览量：53 收藏量：0 资源大小：854KB 上传时间：2021-05-12

: 人工智能的研究领域.doc 人工智能的研究更多的是结合具体领域进行的，主要研究领域有专家系统，机器学习，模式识别，自然语言理解，自动定理证明，自动程序设计，机器人学，博弈，智能决定支持系统和人工神经网络。人工智能是一种外向型...
评级：0 浏览量：96 收藏量：0 资源大小：64KB 上传时间：2022-07-01

: 几何专家几何定理证明 作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以...
评级：0 浏览量：443 收藏量：0 资源大小：1.64MB 上传时间：2014-03-05

: Automatic-Theorem-Prover:一个Python程序，它试图证明给定一阶逻辑中的一组命题的语句 自动定理证明这是一个程序，可以根据一阶逻辑中给定的一组命题来帮助证明（或确认某项陈述的不可证明性）。还将显示校对过程。所使用的策略是向后链接并统一。支持以下逻辑连接词： & - and==> - implies~ (tilde...
评级：0 浏览量：102 收藏量：0 资源大小：15KB 上传时间：2021-05-21

: deepmath:神经网络定理证明的实验深渊Deepmath项目旨在使用深度学习和其他机器学习技术来改进自动定理证明。 Deepmath是与几所大学之间的合作。免责声明：该存储库中的源代码不是Google的官方产品，而是与外部研究团队的研究合作。安装Deepmath依赖...
评级：0 浏览量：29 收藏量：0 资源大小：2.98MB 上传时间：2021-03-06

: automated-theorem-prover:用Python编写的简单定理证明者 自动定理证明者用Python编写的用于一阶谓词逻辑的简单定理证明器。实现基于分辨率反驳技术和呼吸优先搜索。在解决过程中，重言式和暗示被消除，以减少搜索空间。
评级：0 浏览量：91 收藏量：0 资源大小：3KB 上传时间：2021-05-13

: python-math-solver:用Python编写的定理证明者求解器用python编写的定理证明/数学求解程序。安装 git clone https://github.com/khoda81/python-math-solver.git mv python-math-solver math_prover 用法 from math_prover import * e = Sum ( "x" , "y" ) facts = {...
评级：0 浏览量：120 收藏量：0 资源大小：39KB 上传时间：2021-04-11

: poi:实用的无点定理证明者助手实用的无点定理证明者助手 === Poi Reduce 0.20 === Type `help` for more information. > and[not] and[not] or ∵ and[not] => or <=> not · nor ∵ not · nor <=> or ∴ or 要从终端运行Poi Reduce，请...
评级：0 浏览量：40 收藏量：0 资源大小：65KB 上传时间：2021-04-22

: 论文研究-基于向量的几何可读自动证明 .pdf 基于向量的几何可读自动证明，葛强，陈矛，几何定理机器证明已经成功发展了多种新方法，但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征．本文以向量的回路
评级：0 浏览量：84 收藏量：0 资源大小：471KB 上传时间：2019-08-15

: spassgui-开源 Spassgui 是一个基于 Perl/Tk 的 GUI，用于 SPASS（一阶逻辑的自动定理证明器，具有相等性）由 http://spass.mpi-sb.mpg.de 提供。
评级：0 浏览量：32 收藏量：0 资源大小：21KB 上传时间：2021-07-19

: Rust 中的一个库，用于使用直觉命题逻辑进行定理证明。 Rust 中的库，用于使用直觉命题逻辑进行定理证明。支持经典命题逻辑中的定理证明。用于路径语义研究由AdvancedResearch Community 提供加入我们的 Discord！缩写：IPL：直觉主义/建设性命题逻辑PL：古典命题逻辑PSC...
评级：0 浏览量：35 收藏量：0 资源大小：21KB 上传时间：2021-06-28

: KeYmaeraX版本：KeYmaera X：混合系统的无公害战术定理证明（发行）混合系统的KeYmaera X定理证明自动驾驶汽车，自动驾驶机器人，现代飞机或机器人手术：我们越来越多地将生命委托给计算机，因此，除了最高的安全标准-数学正确性证明之外，我们应该一劳永逸。可以使用KeYmaera X证明...
评级：0 浏览量：91 收藏量：0 资源大小：55.26MB 上传时间：2021-02-05

: stp:简单定理证明器，一种有效的位向量SMT求解器这些类型的约束可以由程序分析工具，定理证明，自动错误查找器，密码攻击工具，智能模糊器，模型检查器以及许多其他应用程序生成。主页：： Ubuntu PPA： : Docker镜像： docker pull msoos/stp 编译安装快速...
评级：0 浏览量：515 收藏量：1 资源大小：2.77MB 上传时间：2021-05-12

: proof-overlay:覆盖主要用于自动化证明和形式化方法工具 自动定理证明的叠加如何使用编辑您的/etc/layman/layman.conf #----------------------------------------------------------- # URLs of the remote lists of overlays (one per line) or # local overlay ...
评级：0 浏览量：35 收藏量：0 资源大小：43KB 上传时间：2021-04-30

: 自动控制原理奈奎斯特定理在矿区设备中的拓展与完善近年来,矿区机械设备更新速度加快,其中矿区使用的设备涉及自动奈奎斯特曲线(简称"奈氏"曲线)及其对数频率特性曲线来判断闭环系统的稳定性时,均没有指出过开环系统含有不稳定环节时以上2种曲线的完整画法,而控制系统...
评级：0 浏览量：190 收藏量：0 资源大小：734KB 上传时间：2020-07-07

: 软件的顺序语句块自动化规约与验证研究利用C++++和 Python并通过交互式定理证明器abelle2017在基准数据中随机选择10个程序进行测试，结果表明，与完全人工操作相比，该算法具有较高的验证效率，可实现顺序语句块的自动化规约与验证。
评级：0 浏览量：41 收藏量：0 资源大小：1.65MB 上传时间：2021-07-07

: 论文研究-基于区间分析的不等式自动证明 .pdf 基于区间分析的不等式自动证明，侯晓荣，邵俊伟，本文提出了一种基于区间分析的不等式自动证明方法，这一方法可以处理类型较为一般的不等式，只需对应的函数具有所需的高阶连续可
评级：0 浏览量：192 收藏量：0 资源大小：451KB 上传时间：2019-08-21

: gclc:GCLC是一种数学软件工具，用于产生高质量的数学插图，进行数学教学以及自动证明几何定理 GCLC是一种数学软件，用于产生高质量的数学插图，进行数学教学以及自动证明几何定理。自1995年以来，GCLC的开发一直处于闲置状态。1996年建立了第一个发布版本（网络）。对变电站代码进行了数次修订。最初的版本...
评级：0 浏览量：189 收藏量：0 资源大小：9.93MB 上传时间：2021-04-14

: 论文研究-相干命题逻辑自然推理系统NR的自动证明.pdf 给出了相干命题逻辑自然推理系统NR的自动证明算法。首先将待证命题公式A的子公式组成一个初始集合P，对其中的元素采用系统NR...对系统NR的大部分定理证明取得了良好的效果，算法生成的演绎序列清晰可读，接近手工推理。
评级：0 浏览量：176 收藏量：0 资源大小：662KB 上传时间：2019-07-22

: Theory-Prover:一阶逻辑定理的证明，其中没有符号的解释是有序解析的，基于自动推理过程中给定子句àla ... Java的一阶定理证明者在Java中的实现，而没有符号通过给定子句la Otter和àla E的基于循环的有序解析来解释。用户可以选择几种类型的排序和分辨率。演示以点文件形式返回，或者您可以决定将其直接导出为jpg ， ...
评级：0 浏览量：122 收藏量：0 资源大小：7.34MB 上传时间：2021-05-23

: 基于 DTRC的形式自动证明平台及其应用 (2004年) 动态项重写计算(DTRC)是项重写系统( TRS)的元计算模型 ,具有层次化结构和动态重写等特征 , 可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。文中介绍了一个基于DTRC的形式自动证明平台...
评级：0 浏览量：55 收藏量：0 资源大小：673KB 上传时间：2021-05-17

: ProvingGround：Proving Ground：自动化数学工具试验场，试验场所试验场：自动化数学工具一个正在开发的用于（半）自动定理证明的系统，其基础是同伦类型理论，使用机器学习，既可以通过向后传播进行强化学习，也可以使用自然语言处理来吸收部分数学文献。...
评级：0 浏览量：100 收藏量：0 资源大小：259.43MB 上传时间：2021-02-05

: logic:通用证明检查库该库不是自动证明系统：证明必须通过人工或其他系统构建，并且由客户维护检查证明所需的知识基础。例子：模块中存在许多示例，这些示例演示了一些证明的“软件内”实现。一些例子：平等：请参阅以获取有关...
评级：0 浏览量：58 收藏量：0 资源大小：24KB 上传时间：2021-04-13

: 软定理和红外行为的散射幅度我们证明了软定理在许多无质量理论（包括Yang-Mills，重力，非线性sigma模型，Dirac-Born-Infeld，dilaton有效理论，扩展理论如NLSM⊕ϕ3（非线性sigma模型（ϕ3），以及对这些理论的一些更高阶导数校正。...
评级：0 浏览量：69 收藏量：0 资源大小：216KB 上传时间：2020-04-17

: 基于目标演绎距离的一阶逻辑子句集预处理方法_曹锋.pdf 一阶逻辑定理证明是人工智能的核心基础，研究一阶逻辑自动定理证明器相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模，然后通过演绎方法对定理进行判定...
评级：0 浏览量：126 收藏量：0 资源大小：539KB 上传时间：2019-11-20

: gapt：GAPT：证明理论的通用架构与自动交互定理证明者（其重点是证明的构造）相反，GAPT专注于证明的转换和进一步处理。网站：：联系人：例 GAPT支持的众多功能之一是的实现。您可以通过以下方式在GAPT中自动生成Herbrand析取： Escargot...
评级：0 浏览量：197 收藏量：0 资源大小：45.01MB 上传时间：2021-02-05

: 人工智能作业（付详细讲解） 自动定理证明：定理证明的实质是证明有前提P得到结论Q的永真性。 b. 博弈:下棋，打牌、战争等竞争性的智能活动。 c. 模式识别：研究对象描述和分类方法的学科，分析和识别的模型可以是信号、图像以及普通数据
评级：0 浏览量：319 收藏量：1 资源大小：17KB 上传时间：2022-12-21

: 人工智能的发展.pptx 人工智能发展历程机器翻译、机器定理证明、机器博弈 1956年，Samuel研制了跳棋程序，它在1959年击败了Samuel本人 1959年美籍华人学者、洛克菲勒大学教授王浩 自动定理证明 1976年 "四色定理"的证明 50年代~70年代
评级：0 浏览量：51 收藏量：0 资源大小：864KB 上传时间：2022-07-01

: linear_solver:设计为易于与Rust枚举一起使用的线性求解器这是一个用于自动定理证明的库。线性求解意味着可以用其他事实代替某些事实。该技术还可用于使定理证明更加有效。如果您正在寻找无法删除事实的求解器，参见注意！此求解器不支持多个历史记录。它假设事实被...
评级：0 浏览量：46 收藏量：0 资源大小：15KB 上传时间：2021-04-11

: 基于Java的五子棋游戏的设计(源代码+论文) 1 本课题研究的意义近来随着计算机的快速发展，各种各样的电脑游戏层出不穷，使得我们能有更多的...人工智能在专家系统，自然语言理解，自动定理证明，自动程序设计，人工智能在机器人学、模式识别、物景分析、数据库
评级：0 浏览量：45 收藏量：0 资源大小：1003KB 上传时间：2023-07-10

: 基于滤波反演法的参数不确定自动引导车的运动控制稳定性理论与Barbalat 定理证明了系统的稳定性; 同时利用进化规划算法优化控制器参数, 通过跟踪微分器对输入信号与虚拟控制信号进行滤波处理并提取微分信号, 避免了对虚拟控制信号的解析求导, 简化了控制器的设计...
评级：0 浏览量：100 收藏量：0 资源大小：259KB 上传时间：2021-01-14

: 人工智能的研究和应用领域.docx 自动定理证明 自动定理证明就是让计算机模拟人类证明定理的方法,自动实现非数值符号的演算过程. 人工智能的研究和应用领域全文共3页，当前为第2页。人工智能的研究和应用领域全文共3页，当前为第2页。7.模式识别 ...
评级：0 浏览量：153 收藏量：0 资源大小：30KB 上传时间：2023-02-27

: 人工智能导入.pptx 人工智能的主要研究领域 自动定理证明 博弈模式识别机器视觉自然语言理解智能信息检索数据挖掘与知识发现专家系统自动程序设计机器人组合优化问题智能网络系统人工生命人工神经网络分布式人工智能与多...
评级：0 浏览量：72 收藏量：0 资源大小：309KB 上传时间：2022-07-01

: 负二项式级数：二项式、负二项式、牛顿二项式、二项式定理-matlab开发 1676年牛顿证明二项式定理对负整数n也成立，即所谓的负二项式级数，收敛于|x| <y。由此产生负二项式分布，即离散概率分布。语法：函数 negbins(x,y,n) 输入： x,y - 要展开的一对感兴趣的术语n - 增加二项式...
评级：0 浏览量：745 收藏量：0 资源大小：1KB 上传时间：2021-05-31

: 《形式语言与自动》教学内容1 第1章绪论1.1 自动机理论1.2 集合及其运算1.3 字符串和语言1.4 树和图简介1.5 定理及其证明方法第2章文法的一般理论2.1 问题的提出2.2 文
评级：0 浏览量：24 收藏量：0 资源大小：69KB 上传时间：2022-08-03

: frdcsa:正式的研究数据库：集群，研究和应用-开源该项目包含两个分支：FRD（用于自动定理证明）和CSA（用于通用软件）。另一个方面是软件是否被收集和/或编写。 FRDCSA采取两种方法。通常，FRDCSA是多策略的。例如，同时使用符号技术和连接主义技术。目标是...
评级：0 浏览量：78 收藏量：0 资源大小：44KB 上传时间：2021-04-29

: 人工智能学术报告.docx 目前，人工智能的主要研究领域包括：专家系统、机器学习、模式识别、自然语言理解、自动定理证明、自动程序设计、机器人学、智能决策支持系统及人工神经网络等．下面主要介绍人工智能的研究与应用。 4、人工智能的...
评级：0 浏览量：92 收藏量：0 资源大小：55KB 上传时间：2023-02-27

: 交互系统的术语和替代：Master Final Project 术语重写是一个非常重要的研究领域，它广泛用于许多领域，例如密码协议分析和自动定理证明。该项目的目标是一个交互式的术语和替换系统，以帮助初学者掌握一些关键概念。它以Python编程语言实现。致谢我要感谢在...
评级：0 浏览量：46 收藏量：0 资源大小：132KB 上传时间：2021-02-11

资源推荐

相关资源标签

自动定理证明, 几何专家几何证明机器证明区间分析计算机科学人工智能; Open Access 矿区设备奈奎斯特定理奈奎斯特曲线不稳定环节运动控制参数不确定性 scala proof theorem-proving tactics proofs ScalaScala mathematica theorem-prover axiom homotopy Python Racket Rust 开源软件 Shell Haskell cryptography verification symbolic-execution 工程技术论文 Java matlab prop 自动化软件自动定理证明文档资料 unix 人工智能作业 AI java 毕业设计