使用 Walnut 求解 OEIS 中的问题
数论
2025-03-07 v1 组合数学
摘要
我们使用自动定理证明器 Walnut 来解决 OEIS 及更广泛领域中的各类开放问题。具体而言，我们阐明了序列 A260311 的结构，该序列涉及上 Wythoff 数的连续和。我们将 Hajdu、Tijdeman 和 Varga 关于模素数非零系数多项式的结果进行了推广。此外，我们解决了与反递推序列 A265389 和 A299409 以及无子序列和序列 A026471 和 A026475 相关的开放问题。我们的发现还引出了新的开放问题。
引用
@article{arxiv.2503.04122,
title = {Using Walnut to solve problems from the OEIS},
author = {Wieb Bosma and Rene Bruin and Robbert Fokkink and Jonathan Grube and Anniek Reuijl and Thian Tromp},
journal= {arXiv preprint arXiv:2503.04122},
year = {2025}
}