• E定理证明器

  • 182篇参考文献[SW10187]
  • 一阶子句或公式猜想再一次,无论是从句还是全句…找到一个正式的证明猜想,假设公理。如果找到证据……可以单独核实。如果猜想是存在的…
  • 开普尔98

  • 158篇参考文献[SW23 625]
  • 开普勒证据猜想. 开普勒猜想断言没有一致的球的包装…开普勒证据猜想Sam Ferguson和Tom Hales。这个代码…
  • 普莱特

  • 176篇参考文献[SW23 186]
  • 不同的学科,每个学科都是推测遵循幂律分布…有些情况我们发现猜想与数据一致,而在其他方面…
  • 涂鸦

  • 153篇参考文献[SW0795]
  • 猜想涂鸦上面的文章介绍了一个计算机程序,涂鸦,这使得图形…理论的猜想. 涂鸦有某种类型的图表库,它是有能力的。图论不变量;公式是猜想如果没有已知的图表…
  • LMFDB

  • 90篇参考文献[SW07249]
  • 假说与伯奇和Swinnerton Dyer猜想. L函数产生并编码信息…
  • 罗宾斯

  • 90篇参考文献[ SW11649 ]
  • 关于交替符号矩阵的证明猜想“经验性地验证每一个非平凡的陈述……”
  • 博伊泽德伯格

  • 46篇参考文献[SW1857 7]
  • Boij Soederberg调查猜想定理。对于定义和猜想Cohen Macaulay模与多重性猜想“由Mats Boij,Jonas Soederberg……
  • HR

  • 29篇参考文献[SW1092]
  • 感兴趣的对象,关于这些对象的概念,猜想有关概念和证明…猜想. 在群论中,例如,感兴趣的对象是群体本身。包括元素类型、子群类型等。猜想包括暗示和如果和仅…猜想如果证明了这些定理,这些定理就成为定理,如果不成立,则成为非定理。类似的…
  • 常春藤

  • 30篇参考文献[SW10269]
  • 逻辑。顶部的ACL2函数需要一个猜想预处理猜想并打电话…
  • 图屋

  • 35篇参考文献[SW0693]
  • 图论问题或反例猜想. 这个列表可以由用户扩展…
  • 涂鸦

  • 16篇参考文献[SW07152]
  • DeLaVi Na)是生产计算机程序猜想在图论中。有关…的信息的指针程序和选定列表猜想可以在[D]找到。一个PASScript文件…克拉森/ WOW-July2004。PS)可包含前894猜想FAJTROWICZ使用涂鸦(通过…图的数据库中的参数,主要是推测不等式。这里我们提供一个样本…
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 推理技术,可用于猜想并自动证明定理。该系统提供…
  • 小红帽恰恰

  • 26篇参考文献[SW07098]
  • 旨在提高每一个扩散,推测地增加密码分析的抵抗性,同时保存和经常…
  • 西柚

  • 15篇参考文献[SW25129]
  • 葡萄柚交互式自动化猜想在极值图论中。葡萄是一种猜想制作系统…发表的论文包含第一个结果推测在GraPHedron的帮助下…
  • Curve25519

  • 24篇参考文献[SW30300 ]
  • 其他作者的结果相同推测安全级别(附带或不附带利益)
  • 开花V

  • 22篇参考文献[SW0480]
  • 求解线性程序,与A相反猜想由Cook和罗厄…
  • 22篇参考文献[SW1979]
  • 帮助摆姿势、验证或反驳猜想. 本文主要调查了92篇论文,主要是…
  • 二叉树

  • 20篇参考文献[SW1482]
  • 重构树木的一般方法推测地成功地为每个人产生明确的双射。