首次编写日期：2017年7月15日

独家发表在Shalosh B.Ekhad和Doron Zeilberger的个人期刊和arxiv.org上。

这个整数序列在线百科全书，那奇妙的资源大多数组合学家和许多其他数学家和科学家使用每天至少有一次，是数学信息的宝库魅力在于它包含了许多有趣的猜测。但一个人应该在自己的身上因为有些猜想要么已经是定理，要么可以被常规地证明。在这个案例研究我们演示并实际完全实现了（在附带的Maple包中），如何扭转R.J.Mathar在OEIS中关于线性递归的许多猜测满足于某类序列，成为完全严格证明的定理，但我们认为，这一点不应该效仿我们，虽然拥有它很好一示例，共个实际构造证明的算法（根据先验理论原因已知存在），生命太短，在所有情况下都无法做到这一点，因此我们为OEIS提出了一个新类别，即“可证明猜想”，与“已证明猜想”（别名定理）相对。

Maple软件包

• 舒琴贝格.txt，旧软件包的扩展版本，包括自动发现和复发证明由以根形式给出的代数方程的系数来满足。

• 以下内容做得更好，但在Maple 12中效果更好：SCHUTZENBERGER12.txt公司  .

  （大多数函数也适用于当前版本的Maple，但其中一些可能会给出错误消息）。

SCHUTZENBERGER12.txt的输入和输出示例

• 如果你想看到一篇自动生成的文章来证明马塔尔猜想的33

  这个输入文件生成输出文件。

Doron Zeilberger的主页