• 苍蝇

  • 引用107篇文章[sw10277]
  • 沟通形式证明:案例苍蝇. 我们介绍了一个展示和交叉的平台。。。事态发展。作为一个例子苍蝇形式发展(在霍尔光。。。苍蝇非正式数学文本作为叙事与形式发展相联系。做这个。。。
  • 驯服图

  • 引用15篇文章[sw28578]
  • 苍蝇一: 驯服图表。这些理论提出了经验证的平面图计数方法。。。温驯是相同的苍蝇项目。Nipkow的IJCAR 2006论文。。。
  • 霍利汉

  • 引用了20篇文章[sw11553]
  • 答案包括最新版本的苍蝇多元分析和复杂分析库。。。
  • 进程

  • 参考11篇文章[sw10191]
  • 最近开发的翻译HOL Light和苍蝇ATP格式的问题。PRocH组合了几个。。。在这里评估了大量苍蝇问题。。。
  • 证明NL

  • 引用4篇文章[sw08786]
  • 成功地从苍蝇项目(本质上是紧不等式,包括半代数。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • mptp0.2:设计、实现和初步实验。这个。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 自动推理系统是我们目前设计的。。。
  • 吸血鬼

  • 在229篇文章中引用[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。