蟾蜍和青蛙 swMATH ID: 12648 软件作者: Thanatipananda,Thotsaporn Aek;多龙·泽尔伯格 描述: 组合博弈论中定理自动证明的符号有限状态方法。我们开发了一种有限状态自动机方法,该方法在我们的网站上提供的Maple包“蟾蜍和青蛙”中实现,用于猜测并严格证明Richard Guy的组合游戏“蛤蟆和蛙”中大量位置的值。特别地,我们证明了Jeff Erickson的一个猜想。 主页: http://www.math.rutgers.edu/~zeilberg/tokhniot/蟾蜍和青蛙 依赖项: 枫树 关键词: 组合博弈论;猜想;有限状态法;重现 相关软件: 枫树 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 组合博弈论中定理自动证明的符号有限状态方法。 Zbl 1232.91071号Thanatipananda,Thotsaporn“Aek”;多龙·泽尔伯格 2009 2位作者引用 2 Thanatipananda,Thotsaporn(艾克) 1 多龙·泽尔伯格 2篇连载文章中引用 1 应用数学进展 1 差分方程与应用杂志 在2个字段中引用 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 计算机科学(68至XX) 按年份列出的引文