Scifaro

中文

借助机械化猜测证明 Irvine 猜想

组合数学 2023-11-27 v2 离散数学形式语言与自动机理论

作者: Jeffrey Shallit

在 arXiv 上查看 ↗ PDF ↗

摘要

我们利用机械化猜测与验证，证明了 Sean A. Irvine 近期关于一个非线性递推的猜想。定理证明器 Walnut 在该证明中发挥了重要作用。

关键词

Irvine 猜想非线性递推机械化猜测 Walnut 定理证明

引用

@article{arxiv.2310.14252,
  title  = {Proof of Irvine's Conjecture via Mechanized Guessing},
  author = {Jeffrey Shallit},
  journal= {arXiv preprint arXiv:2310.14252},
  year   = {2023}
}