猜猜看

扩展速率,更多GFUN。我们提供了一个软件包,它可以猜测,例如有理数或有理函数序列的公式,给出了前几个术语。从而扩展和补充了C.Krattenthaler的节目率和GFUN的相关部分。对于一些脑筋急转弯的人,对于另一些人来说,证明他们下一个定理的一个步骤是:给定一个序列的前几个项,比如整数,下一项是什么,通式是什么?当然,没有比剃刀更复杂的解决方案了。在这篇文章中,我们提出了一个新的包猜测为计算机代数系统公理。Guess和Axiom都是免费的,可以在http://wiki.Axiom-developer.org/gussingformulas上在线试用。