×

蟾蜍和青蛙

swMATH ID: 12648
软件作者: Thanatipananda,Thotsaporn Aek;多龙·泽尔伯格
描述: 组合博弈论中定理自动证明的符号有限状态方法。我们开发了一种有限状态自动机方法,该方法在我们的网站上提供的Maple包“蟾蜍和青蛙”中实现,用于猜测并严格证明Richard Guy的组合游戏“蛤蟆和蛙”中大量位置的值。特别地,我们证明了Jeff Erickson的一个猜想。
主页: http://www.math.rutgers.edu/~zeilberg/tokhniot/蟾蜍和青蛙
依赖项: 枫树
关键词: 组合博弈论;猜想;有限状态法;重现
相关软件: 枫树
引用于: 2文件

按年份列出的引文