• DLMF

  • 引用了2809篇文章[sw04968]
  • NIST数学函数数字图书馆。全国。。。
  • 验证9

  • 在198篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 梅森网

  • 引用文献351篇[sw05367]
  • 梅森捻线器:一个623维等分布均匀伪。。。
  • 谨慎

  • 引用32篇文章[sw05937]
  • 一个构造具有指定自同构的设计的程序。。。
  • 函数

  • 参考文献124篇[sw06669]
  • XML是一种通用的标记语言,能够。。。
  • 肉豆蔻4

  • 在227篇文章中引用[sw06905]
  • 有限模型查找器Mace4。Mace4是一个程序。。。
  • 奥斯基

  • 在26篇文章中引用[sw07006]
  • OSKI:优化的稀疏内核接口。奥斯基是什么。。。
  • OEIS

  • 引用4221篇文章[sw07248]
  • 整数序列的在线百科全书。这个。。。