Thanatipananda，Thotsaporn“Aek”；多龙·泽尔伯格 组合博弈论中定理自动证明的符号有限状态方法。 （英语） Zbl 1232.91071号 J.差异Equ。申请。 15，第2期，111-118（2009）. 摘要：我们开发了一种有限状态自动机方法，该方法在我们的网站上提供的Maple包“蟾蜍和青蛙”中实现，用于猜测并严格证明Richard Guy的组合游戏《蟾蜍与青蛙》中大量位置的值。特别地，我们证明了Jeff Erickson的一个猜想。 引用于2文件 MSC公司： 91年46月 组合游戏 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：组合博弈论；猜想；有限状态法；重现 软件：蟾蜍和青蛙；枫树 PDF格式BibTeX公司 XML格式引用 \textit{T.Thanatipananda}和\textit{D.Zeilberger}，J.Difference Equ。申请。15，No.2，111--118（2009；Zbl 1232.91071） 全文： 内政部 arXiv公司 参考文献： [1] Berlekamp E.，《数学游戏的获胜之道》（1982）·Zbl 0485.00025号 [2] Erickson J.，《没有机会的游戏》，第29页，第299页——（1996年） [3] T.“Aek”Thanatipanonda，与蟾蜍和青蛙进一步跳跃，预印本（可从作者网站获得） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。