• 考虑到

  • 7篇参考文献[ SW08962]
  • 符号执行定理 证明. 首先是完全自动化的条件切片的实现…
  • 囤积土地

  • 2篇参考文献[SW28 890]
  • 重视人的技术自动化的几何定理 证明一个实际的实现。基本原则…定理证明器。系统(原型)被称为HoADDATIF(以人为本)。自动化的推理。。。其他一些原始特性,如证明通过类比(使用匹配技术),一些可能性…基于逻辑的几何方法定理 证明比较了系统的特点与…
  • 索非亚

  • 1篇参考文献[SW30125]
  • 句法方法已被构造为自动化 定理 证明一阶逻辑。积极的…TabLoux,HyLs TabLoux完全是自动化的启发式。我们证明健全性和完整性…表。将超文本表应用于定理证明索非亚,它提供了有用的工具…
  • 整体性

  • 1篇参考文献[SW30124]
  • 逻辑。我提出了一个系统。自动化的 定理 证明在高阶逻辑中使用深…
  • 梅拉

  • 1篇参考文献[SW0968]
  • 基于依赖类型的程序设计自动化的 定理 证明. Mella是一个简约的依赖类型的编程…探讨有效整合自动化的 定理在这个简单而简单的环境中这样…
  • HIPSPEC

  • 12篇参考文献[SW0736]
  • 自动化使用理论证明的HIPSPEC的归纳证明是一种自动推导和自动分析系统。证明理论探索、反例检验与归纳相结合定理 证明. HIPSPEC自动生成…
  • 护城河

  • 1篇参考文献[SW23080]
  • 声音验证方法(基于自动化的 定理 证明和信息流分析)证明那个…
  • 章鱼

  • 2篇参考文献[SW10407]
  • 搜索本文介绍了章鱼自动化的 定理-证明系统结合学习和并行…
  • 马尔萨斯

  • 42篇参考文献[SW1078]
  • 简单元系统迭代组合演绎法自动化的推理工具(现在的E和SPASS…引理,定理定义和符号。该系统以周期为单位工作。定理 证明跟着。。。
  • 芝诺

  • 9篇参考文献[ SW0735]
  • 芝诺:一个自动化的递归数据结构性质的证明器芝诺是一种新工具。这些工具的两个方面定理 证明力量和速度…
  • 乌贼墨

  • 6篇参考文献[SW21585 ]
  • 自动化的证据生成在Coq。乌贼墨将模型推理与交互结合定理 证明. 现有证据…乌贼墨提供了有益的补充。自动化的战术…
  • 盐沼

  • 4篇参考文献[SW19622]
  • 证明在证明过程中。然而,扩展了自动化的 定理证明蛤蜊…半自动交互过程定理证明者更易于处理非专家用户。弥合评估的鸿沟证明制造这样的障碍定理更多…
  • 博特马

  • 8篇参考文献[SW09243]
  • 构造性几何不等式类。自动化的不等式证明提出了基于…的算法。MUPLE程序名为BOTTEMA证明或者在一个广泛的课程中驳斥命题…包含自由基的代数不等式。大部分的定理在Bottema所写的“几何不等式”中…
  • 凯梅拉德

  • 0篇参考文献[SW2014]
  • 我们解决这个问题。自动化的 定理 证明对于分布式混合系统。我们有。。。技术,我们已经实施了一个新的自动化的 定理证明者称为KeMaErad。克服高…混合系统验证,KeMaErad使用分布式证明后端。我们在实验中观察到…
  • 水泡

  • 5篇参考文献[SW18721]
  • BliStrTune:等级发明定理 证明策略发明针对特定问题的有针对性的证明搜索策略…困难的任务。艺术现状自动化的 定理像ATP这样的赞助者(ATPS)…
  • OSHL

  • 0篇参考文献[SW19628 ]
  • 基于通用实例的一阶自动化的 定理 证明算法。ICOSHL是一个实现…
  • 埃克斯特拉托

  • 1篇参考文献[SW32250]
  • 摘要)。证明助理经常打电话自动化的 定理证明者证明子目标。然而,每一个证明者…利用Dedukti重构完备证据自动化的能够产生DukkTi证据的ZenonModulo生产线上的工具自动化的 定理关于TPTP的CNF问题的研究者…
  • ARGO

  • 3篇参考文献[SW1542]
  • 考虑方法证明生成结构的正确性(使用外部)自动化的 定理进步者…
  • 闪耀

  • 14篇参考文献[SW09803]
  • 功能程序员。火花是新的定理批判者编写并专门为功能…供程序员使用的证明部分程序的属性,结合编程…也被逻辑学家感兴趣的使用。证明较大程序的属性。两个特点…它使用不同的概念。其次,闪光灯支持自动化的推理。琐碎的目标将被自动抛弃…