• mc工具箱

• 引用文献1486篇[sw04827]
• 矩阵计算工具箱是。。。

• IMSL数字图书馆

• 引用583篇文章[sw04964]
• IMSL库是一套综合的数学。。。

• DLMF

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

• 验证9

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

• 梅森网

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

• 荷兰语

• 引用591篇文章[sw05492]
• 高阶逻辑是一个编程环境。。。

• 谨慎

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

• 马蒂塔

• 引用71篇文章[sw06140]
• Matita（意大利语是铅笔的意思）是。。。

• ETPS公司

• 引用160篇文章[sw06302]
• TPS和ETPS分别是证明。。。

• MPI公司

• 参考515篇文章[sw06496]
• 自动微分通过使用超对偶。。。

• 函数

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

• Nuprl公司

• 引用394篇文章[sw06751]
• Nuprl系统是一个推理框架。。。

• 肉豆蔻4

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

• 奥斯基

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

• Eigtool公司

• 引用了536篇文章[sw07020]
• EigTool是一个免费的MATLAB计算软件包。。。

• JDQZ公司

• 引用了600篇文章[sw07031]
• JDQZ算法的Matlab®实现。JDQZ。。。

• 自动机

• 参考410篇文章[sw07127]
• 自动机是由N.G.设计的语言。。。

• OEIS

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

• 老太婆

• 在184篇文章中引用[sw07382]
• CRONE（R）工具箱，由CRONE开发。。。

• SqFreeEVAL公司

• 参考11篇文章[sw07421]
• SqFreeEVAL:一个（几乎）最优的实数根隔离算法。。。