• 盖特1.1

  • 30篇参考文献[SW02442]
  • 操纵和证明这个定理. 从规范,GEOTER CAN自动地将坐标分配给每个…方式;翻译谓词表示定理进入一个英文或中文陈述,进入…绘制一个或几个图表定理绘制的图表可以动画化…拖动,并保存为PASScript文件;证明这个定理使用五个代数中的任何一个…
  • Jun-2

  • 11篇参考文献[SW07216]
  • 广泛应用于自动 定理-证明社区在过去的二十年里…
  • 旗杆工具

  • 4篇参考文献[SW17626]
  • 旗舰工具是一个计算机程序证明 自动地 定理关于多面体的组合结构…
  • 圣人

  • 3篇参考文献[SW300 73]
  • 动态合同检查类型检查自动 定理 证明和一个数据库的驳斥子类型…
  • 名义伊莎贝尔

  • 66篇参考文献[SW120 55 ]
  • 伊莎贝尔/HOL的推广定理证明者它提供了一个证明用于编程的基础设施…α等价的定义与建立自动地α等价项的推理基础结构…
  • 令人信服的

  • 14篇参考文献[SW01300 ]
  • 令人信服的:精确的定理 证明用于程序验证。许多符号软件验证引擎,如SLAM…依赖ESC/Java自动 定理进步者。现有的定理如简化,缺乏精确的…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 使用CETA。有很多自动工具到证明终止术语重写系统,现在…本文使用定理证明人伊莎贝尔/霍尔自动地证明终止证明。对此…
  • 凸起

  • 2篇参考文献[SW27 585 ]
  • 框架遵循类似于自动 定理 证明旨在改进合成生物设计。
  • 维尔特

  • 2篇参考文献[SW02513]
  • 算法、符号处理和知识表示自动 定理 证明. 测试跨语言的可能性…
  • TcCON.TXT

  • 4篇参考文献[SW30553]
  • 自动发现与同余证明定理关于组合序列的部分和。许多组合…相反,我们的计算机自动地发现和证明同余定理对于这样的部分和。而且…
  • 两性离子

  • 5篇参考文献[SW0953]
  • 安菲翁:自动科学子程序库的编程。本文介绍了一种基于知识的软件Affion…基于建设性定理 证明而且效率高且完全自动
  • 爱马仕

  • 9篇参考文献[SW0403]
  • 爱马仕自动安全协议中验证保密的工具。密码学是不够的…定理 证明提供一个通用的证明策略[9,4],但它们不是自动
  • 总挥发性有机物

  • 19篇参考文献[SW02521]
  • 优化:对于给定的源程序,TVOC证明源代码的等价性…验证条件使用自动 定理证明者CVC Lite…
  • Ctrl键

  • 4篇参考文献[SW1384]
  • 手册和自动利用归纳法进行等价性测试的模式定理 证明给予支持…
  • 多摊铺机

  • 3篇参考文献[SW0871]
  • 算法证明数字的定理. 该算法是基于自动多项式逼近…探讨了聚碳酸酯的局限性。证明紧凑的功能规格逐渐较大的随机…
  • 快速规格

  • 7篇参考文献[SW19206]
  • 测试我们提出QuasSPEC,一个工具自动地生成纯集的代数规范。测试,而不是静态分析或定理 证明. QuasScript面临的主要挑战…
  • 闪耀

  • 14篇参考文献[SW09803]
  • 功能程序员。火花是新的定理批判者编写并专门为功能…供程序员使用的证明部分程序的属性,结合编程…也被逻辑学家感兴趣的使用。证明较大程序的属性。两个特点…SPARKLE支持自动推理。微不足道的目标意志自动地被抛弃,并给出建议…
  • 乌贼墨

  • 6篇参考文献[SW21585 ]
  • 乌贼墨将模型推理与交互结合定理 证明. 现有证明语料库使用状态建模…战术序列。然后可以遍历这些。自动地识别证据。乌贼墨系统…
  • 芝诺

  • 9篇参考文献[ SW0735]
  • 芝诺是一个新工具自动生成简单性质的证明…这些工具的两个方面定理 证明力量和速度…
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 数据,证明几何定理生成教科书中的配置动态图,自动地在大多数…