• 叮当声

  • 引用了60篇文章[sw04581]
  • 普林克是一个免费的,开源的全基因组。。。
  • 数量

  • 在149篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。
  • 盖亚

  • 引用4篇文章[sw09607]
  • 盖亚代表:几何,代数,信息学和应用。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 乐高是一个互动的证明开发系统(证明...
  • MTT法

  • 引用21篇文章[sw09783]
  • MTT:Maude终端工具。尽管很了不起。。。
  • 苍蝇

  • 在111篇文章中引用[sw10277]
  • 正式沟通证明:flyspeck的例子。我们。。。
  • 佩斯卡

  • 在129篇文章中引用[sw13664]
  • 佩斯卡=证据顺序微积分编辑:佩斯卡是。。。