Pecan：基于 Büchi 自动机的自动序列自动定理证明器
计算机科学中的逻辑
2021-02-04 v1
摘要
Pecan 是一个用于推理 Sturmian 词（字组合学领域中的重要对象）性质的自动定理证明器。它能够高效地证明关于所有 Sturmian 词的非平凡数学定理。
引用
@article{arxiv.2102.01727,
title = {Pecan: An Automated Theorem Prover for Automatic Sequences using B\"uchi Automata},
author = {Reed Oei and Dun Ma and Christian Schulz and Philipp Hieronymi},
journal= {arXiv preprint arXiv:2102.01727},
year = {2021}
}
备注
Working draft