猜测PolySequenceFormulas swMATH ID: 16808 软件作者： 马克西·施密特 描述： 多项式序列识别的计算机代数包。MS论文研究中开发的软件包实现了基于用户定义的输入系数期望序列因子的多项式序列公式智能猜测功能。我们提出了一种专门的混合方法来寻找多项式序列的精确表示，其动机是需要一种自动化程序，以基于用户对公式中存在的特殊序列因子的指导或直觉来发现这些和的精确形式。特别是，该包将用户对多项式系数公式中预期特殊序列因子的输入与对现有函数的调用结合在一起，作为子程序，然后处理这些包已识别的剩余序列项的公式。基于因式分解的多项式序列识别方法是该软件包独有的，它允许搜索函数查找涉及斯特林数和其他其他软件包不易处理的特殊三角序列的多项式和的表达式。与许多其他序列识别和求和软件相比，该软件包并没有为这些序列公式的正确性提供明确的证明或证书——仅在计算指导下对生成整个序列n的完整身份进行有教育的猜测，该软件包的工作示例旨在演示其用法并记录其当前的序列识别功能。 主页： http://arxiv.org/abs/1609.07301 依赖项： 数学软件 关键词： 多项式序列识别；计算机代数 引用于： 0个文档