• 苍蝇

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

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

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

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

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

  • 引用281篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 毫升

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

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

  • 在316篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 吸血鬼

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

  • 引用180篇文章[sw03275]
  • 半定规划算法(SDPA)是一种新的半定规划算法。。。