• 蝇斑

  • 102篇参考文献[SW1027 7]
  • 传达形式证明:案例蝇斑. 我们介绍了一个平台,展示和交叉…发展。作为一个例子,我们展示了蝇斑正式开发(在HOLL轻…蝇斑非正式数学文本作为一种叙事形式与形式发展联系在一起。为了做到这一点…
  • 驯服图

  • 15篇参考文献[ SW28 78]
  • 蝇斑我:驯服的图形。这些理论给出了验证平面图的验证枚举。驯化与那些蝇斑项目IJCAR 2006的文件由NIPKOW…
  • 霍利默

  • 18篇参考文献[SW11553]
  • 回答包括最近版本的蝇斑多元分析和复合分析库…
  • 普罗赫

  • 11篇参考文献[SW10191]
  • 最近开发的HOLL灯的翻译和蝇斑ATP格式的问题。PROCH组合了几个…在这里评估一大组蝇斑问题。。。
  • NL认证

  • 4篇参考文献[ SW0886]
  • 成功地解决了非平凡不等式蝇斑项目(本质紧不等式),涉及半代数…
  • 辅酶Q

  • 1697篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 毫升

  • 490篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • Perl

  • 251篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • MPTP

  • 22篇参考文献[SW02489]
  • 我们描述了一些新的可能性…
  • 水獭

  • 301篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • PVS

  • 590篇参考文献[SW0384]
  • PVS是一种验证系统。