• plfit公司

• 在222篇文章中引用[sw23186]
• 不同的学科推测遵循幂律分布。。。有些病例我们发现了这些猜想与数据保持一致，而在其他方面。。。

• 定理证明器

• 引用191篇文章[sw10187]
• 一阶子句或公式，以及猜想或者是第一个完整的。。。找到一个正式的证据猜想，假设这些公理。如果找到证据。。。可以单独核实。如果猜想是存在的。。。

• 开普勒98

• 参考文献165篇[sw23625]
• 开普勒的证明猜想. 开普勒猜想声称没有包装的一致的球。。。开普勒的证明猜想山姆·弗格森和汤姆·黑尔斯。这个代码。。。

• 涂鸦

• 在164篇文章中引用[sw07495]
• 猜想本文介绍了一个计算机程序Graffiti，它能使图形化。。。理论的猜想. 涂鸦有一个特定类型的图形库，它可以。。。图论不变量；公式是猜想如果没有已知的图形。。。

• 自记

• 引用132篇文章[sw06137]
• 可以提取极值图猜想可能会自动生成或找到。。。

• LMFDB公司

• 参考文献103篇[sw07249]
• 假设与白桦和斯温纳顿·代尔猜想. L函数源于并编码信息。。。

• 罗宾斯

• 引用97篇文章[sw11649]
• “交替符号矩阵的证明”一文猜想“它经验性地验证了每一个非琐碎的陈述。。。

• 博伊索德伯格

• 引用48篇文章【sw18577】
• 在调查Boij Soederberg时猜想和定理。定义和猜想... Cohen-Macaulay模与多重性猜想“，由Mats Boij，Jonas Soederberg。。。

• 人力资源

• 引用了29篇文章[sw10392]
• 感兴趣的物体，关于这些物体的概念，猜想把概念和证明联系起来。。。猜想. 例如，在理论中，群体本身就是利益集团。。。包括元素类型、子组类型等猜想包括暗示和当且仅。。。猜想如果被证明，这些就成为定理，如果被证明是非定理。类似。。。

• 常春藤

• 引用了30篇文章[sw10279号]
• 逻辑。top ACL2函数接受一个猜想，预处理猜想，然后打电话。。。

• 图屋

• 参考第39条[sw06693号]
• 图论问题或作为反例猜想. 此列表可由用户扩展。。。

• 涂鸦.pc

• 引用16条[sw07152]
• DeLaViña）是一种计算机程序，可以产生猜想在图论中。指向有关。。。程序和选定的列表猜想可以在[D]找到。postscript文件。。。clarson/wow-july2004.ps）包含第一个894猜想由Fajtrowicz用涂鸦（通过。。。主要是图形数据库中的参数猜想不平等。这里我们提供一个样品。。。

• IsaPlanner公司

• 引用了29篇文章[sw02047]
• 推理技术，可用于猜想自动证明定理。系统提供。。。

• 曲线25519

• 引用的第28条[sw30300]
• 其他作者的结果相同推测安全级别（有或没有副作用。。。

• 小红帽恰恰

• 27条引用[sw07098]
• 旨在改善每轮扩散，推测地增加了对密码分析的抵抗力，同时保存并经常。。。

• 花V

• 在26篇文章中引用[sw04780]
• 解线性规划，与猜想库克和罗赫。。。

• 石墨炉

• 引用15篇文章[sw25129]
• 石墨炉。交互式和自动化猜想在极值图论中。GraPHedron是一个猜想-正在生成系统。。。发表的论文包含的结果推测在GraPHedron的帮助下。。。

• 俗语

• 17条引用[sw20733]
• 用于核实和伪造猜想关于Clifford代数。在克莱尔的帮助下。。。找到了反例猜想以及关于Clifford代数的定理。我用了俗语。。。

• 图形

• 引用23条[sw19079]
• 帮助提出、证实或反驳猜想. 本文调查了92篇论文，主要是。。。

• 双叶树

• 引用21篇文章[sw14282]
• 重建树的一般方法推测地成功地为每个。。。