Meta-AUTOMATION 案例研究：组合序列同余自动机的自动生成
组合数学
2014-08-05 v1
摘要
本文是 Eric Rowland 和 Reem Yassawi 近期文章的续篇，提出了另一种快速确定“著名”组合序列同余性质的方法。当前方法可教授给计算机，而我们亲爱的仆人 Shalosh B. Ekhad 已能够为许多著名序列（当然也包括许多晦涩序列）生成大量新定理。
引用
@article{arxiv.1311.4776,
title = {A Case Study in Meta-AUTOMATION: AUTOMATIC Generation of Congruence AUTOMATA For Combinatorial Sequences},
author = {Eric Rowland and Doron Zeilberger},
journal= {arXiv preprint arXiv:1311.4776},
year = {2014}
}
备注
17 pages, accompanied by Maple packages