• R

• 引用9969篇文章[sw00771]
• 产生的，包括数学符号和公式在需要的地方。已经非常小心了。。。

• OEIS

• 引用4221篇文章[sw07248]
• 描述。条目甚至给出了一个显式的公式第N学期。你决定。。。

• DLMF

• 引用了2809篇文章[sw04968]
• 所涵盖的数据包括数学公式，图表，参考文献，计算方法和链接。。。

• 伊莎贝尔/霍尔

• 在1017篇文章中引用[sw01569]
• 通用证明助理。它允许数学公式用正式的语言来表达。。。提供了证明这些的工具公式在逻辑演算中。主要应用程序。。。

• 伊莎贝尔

• 引用713篇文章[sw00454]
• 通用证明助理。它允许数学公式用正式的语言来表达。。。提供了证明这些的工具公式在逻辑演算中。主要应用程序。。。

• z3型

• 引用597篇文章[sw04887]
• 瑜伽士，义勇军，斯拉姆，F7，F*，圣人，VS3，公式，大破坏。。。

• 克里斯托费尔

• 引用了235篇文章[sw00833]
• Schwarz-Christoffel变换及其变分屈服公式对于标准区域的共形映射。。。施瓦兹·克里斯托费尔的实施公式对于来自磁盘、半平面、条形和矩形的贴图。。。

• 斯帕斯

• 引用185篇[sw04108]
• 证明者是一级的公式在我们的语法中。在这样一个公式... 输出SPASS beiseite：找到证据。如果公式是有效的，SPASS beiseite:完成发现。。。公式是无效的，因为一阶逻辑的有效性是不可判定的，SPASS。。。

• 肉豆蔻4

• 在227篇文章中引用[sw06905]
• 一阶有限模型的搜索公式. 对于给定的域大小，所有实例。。。公式在域上构造。结果是一组带有。。。

• ETPS公司

• 引用160篇文章[sw06302]
• 高阶逻辑。它有一个公式有助于构建新的公式从别人那里。。。图书馆保存设施公式、定义和模式（标志设置组）。互动设施。。。在纸上打印校样。方便公式编辑允许学生提取所需内容公式... 在任何地方证明，并建立新的公式从他们那里。推理规则。。。

• 涂鸦

• 在198篇文章中引用[sw07495]
• 并且它能够评估公式由图论不变量构成；一公式...

• DASSL公司

• 在262篇文章中引用[sw03174]
• 子程序DDASSL使用向后微分公式一到五号命令要解决。。。

• 微分矩阵套件

• 引用了254篇文章[sw12762]
• 结合边界条件，利用重心进行插值公式，以及计算正交多项式的根。。。

• 塞萨尔

• 引用161篇[sw08510]
• 规范是一套公式对于分支时间逻辑，时间运算符。。。Petri网表示它并对每一个进行评估公式规格的。。。

• Walksat公司

• 在209篇文章中引用[sw04328]
• 布尔可满足性问题。两种算法都有效公式或者已经被改造了。。。

• 伏特加

• 207篇引用[sw01005]
• 变系数后向微分法公式刚性系统的方法。他们发现。。。

• 定理证明器

• 在206篇文章中引用[sw10187]
• 一阶子句数或公式，和一个猜想，同样是在小句中。。。

• 莫纳

• 参考文献133篇[sw06170]
• 编制和执行的级别公式. 我们提出了一个概述蒙纳。。。多年来的发现和测试，包括公式约化，达格化，引导树自动机，三值。。。

• CEC 05

• 引用178篇文章[sw18811]
• 发现于http://www.ntu.edu.sg/home/EPNSugan/。数学公式并描述了这些函数的性质。。。

• 阿萨德

• 引用175篇文章[sw02524]
• 在P中找到一些循环公式不满意的M和补充。。。