猜猜看 swMATH ID: 9215 软件作者: 马丁·鲁比 描述: 延长速率,增加GFUN。我们提供了一个软件包,该软件包可以根据给定的前几个项猜测有理数或有理函数序列的公式。因此,我们扩展并补充了C.Kratethaler的程序RATE和GFUN的相关部分。对于一些头脑简单的人来说,对于另一些人来说,证明下一个定理的一个步骤是:给定整数序列的前几个项,下一个项是什么,通式是什么?当然,不存在唯一的解决方案,但通过奥卡姆剃刀,我们更喜欢“简单”的公式,而不是更“复杂”的公式。在本文中,我们提出了一个为计算机代数系统Axiom编写的新包Guess。Guess和Axiom都是免费的,可以在网上试用http://wiki.axiom-developer.org/GuessingFormula。 主页: http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAG0140/1717 依赖项: 费率;GFUN;AXIOM公司 相关软件: gfun公司;OEIS公司;费率;q生成函数;ore_代数;全息函数;欧米茄;客房步行;MultiZeilberger公司;无精打采;猜猜Hol2;AXIOM公司;生成函数;望远镜;qZeil公司;q多项总和;数学软件;枫树 引用于: 8文件 全部的 前5名10位作者引用 4 曼纽尔·考尔斯 2 克里斯托夫·库彻恩 2 马丁·鲁比 1 安德斯·克莱森 1 古德蒙德松,比亚基·阿古斯特 1 韩国牛 1 瓦尔德马尔·希比施 1 杰·潘通 1 彼得·保罗 1 多龙·泽尔伯格 全部的 前5名7篇连载文章中引用 1 数论杂志 1 应用数学进展 1 符号计算杂志 1 实验数学 1 Ramanujan杂志 1 整数序列期刊 1 符号计算中的文本和专题 全部的 前5名在9个字段中引用 6 组合数学(05-XX) 6 计算机科学(68至XX) 4 数论(11-XX) 三 特殊功能(33至XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 复变量的函数(30年XX月) 1 差分方程和函数方程(39至XX) 按年份列出的引文