|
PURRS公司
|
PURRS:The Parma University的递归关系求解器
W公司埃尔科姆帕尔马大学递归关系求解器的主页，Parma Recurrence Relation Solver简称，PURRS简称。PURRS是一个C++库，用于（可能是近似的）的解决方案重现关系.更准确地说，PURRS已经解决或近似了： 在未来，它还将解决常系数线性递推关系系统。更多细节在功能上可用系统的。
新闻
| 2004年10月28日 |
安德烈终于成功了！
Andrea Pescetti以满分获得了Laurea数学学位并以一篇关于他实现Zeilberger算法（顾问罗伯托·巴格纳拉和亚历山德罗·扎卡格尼尼).论文答辩真的很好（这有点奇怪，因为真人秀前一个小时的彩排非常无聊
祝贺你，Dottor Pescetti！
|
| 2003年8月18日 |
可用的新纸张
自动递归关系的解决方案。I.有限阶线性递归具有恒定系数：这是系列中的第一个致力于介绍全部的背后的数学PURRS项目。本文描述了高效的一类有限阶线性递归的解系数恒定。介绍详尽合理自包含，涵盖的主题包括多项式方程和高效精确的符号求和一些特殊功能。 |
有关较旧的新闻项目，请参阅完整的新闻档案.
在线尝试PURRS！在这里，您可以尝试求解器的原型。它展示了基本功能PURRS的多变量复发通过这个web界面），但使用它可能会有指导意义。
重复关系
可以作为重复周期的右侧输入的表达式可能包含特殊符号n个（该指数的递归）和特殊功能符号x（）.函数符号的参数可以是非负整数，形式的表达n-k个哪里k个是a（可能是负数）整数，或形式为无/无，其中k>1是一个整数。表达式还可以包含运算符+,-,*,/,^（求幂），括号，函数日志,经验和阶乘的（n）;后者也可以写不！.任何不同于e（电子）,n个和x（例如。，一,b条,c（c）,z（z）)将被视为参数。参数允许出现在复发的非均匀部分。所有数值常量都必须是整数。更详细和准确的描述您可以键入和期望的内容可用。
当心：
对数（n）表示自然的的对数n个;如果以2为底的对数是你想要的，那么你可以写log（n）/log（2）. 有效表达式的示例如下：2*x（n-1）+a,2*x（n-1）-x（n-2）,n*x（n-1）+n,3*x（n/2）+n*log（n）,3*x（n-1）^2,和2*和（k，0，n-1，x（k））+2*n.
初始条件
如果需要，可以指定重复发生的初始条件。单个初始条件的格式必须为x（i）=k，用于我一个正整数和k个一数字（不是浮点）或包含参数一,b条,...,z（z）不同于n个,x和e（电子）.如果初始条件不止一个，它们必须用分号隔开。请注意：这是一个非常实验性的特性可能会产生意想不到的结果。
有效表达式的示例如下：
x（0）=3
x（0）=a；x（1）=b
您可以测试PURRS的一些单独组件在中演示页面.
[页面上次更新时间：2012年12月3日08:27:55。]
|