蟾蜍

组合博弈论中定理自动证明的符号有限状态方法我们开发了一个有限状态自动机方法,实现在枫树包蟾蜍和青蛙从我们的网站,猜测,然后严格证明,价值大家庭的位置在Richard Guy的组合游戏蟾蜍和青蛙。特别地,我们证明了Jeff Erickson的猜想。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaX中的参考文献(3篇)1标准条款

显示结果1至3的3。
按年份排序(引文

  1. (AN):(n)(m)(2014)
  2. ZealPangon,TaTaSaPrOn“AEK”;Zeelbger-Dulon:组合博弈论中定理自动证明的符号有限状态方法(2009)
  3. Zeelbger-Dulon;ThanaThanpONDA,T.:组合博弈论中的计算机生成猜想和证明(摘要)(2008)伊波尔特