这是前Algo团队网站的一个页面。不会再更新了。
 
ALGO徽标  

Algolib:算法项目的库和算法项目的其他包

欢迎光临! 研究课题 研讨会 软件 在线应用程序
介绍 我们的包裹 下载Algolib Algolib扩散列表 广泛的例会

组合数学与计算机代数相遇!

组合分析、离散数学和计算机代数是算法项目的主要兴趣。我们的软件包允许您指定、生成和枚举组合结构;操作相关的生成函数、函数方程或递归;研究它们的渐近行为。这些应用程序之间的相互作用服务于算法项目的主要目标,即算法的自动复杂性分析。然而,在这一方向上的长期研究已经引起了其他软件包的发展,用于线性微分和差分算子的操作,Groebner基计算,特殊函数和组合序列的符号求和和和积分。

以上的特殊散发物是Algolib 库,它将我们的大部分程序集中在一个归档文件中组合结构百科全书,它允许通过关键字、组合规范、生成函数、封闭形式或枚举序列中的第一个整数访问许多组合结构。很多都是用组合结构,绿色荧光粉,和gdev公司.

自动组合学研究是一个广泛的例子会议,作为一个介绍我们的软件包的使用,以及高级会议,说明他们在研究组合学,特殊函数或渐近分析中的应用。也可作为Algolib库中的Maple帮助页 。

下载Algolib

这个算法库图书馆收集由Algo团队在INRIA。目前 包含组合结构,百科全书,gdev公司,绿色荧光粉,格罗布纳,整体论,疯狂的,Mgfun公司,多系列,NumGfun公司,奥瑞代数,和正则表达式计数. 更多的包将在下面介绍。在线 版本百科全书也有。

Algolib,版本17.0(2013年7月9日)。适用于Maple17。 根据GNU通用公共许可证发布(LGPL 2.1版).
[自述文件|枫树图书馆|Maple帮助页|焦油源代码|焦油gz源代码 ]

注意,安装Algolib不需要源代码,只需要库和帮助页(.mla和.hdb文件)。

过时版本

如果您使用Algolib,如果您能让我们知道您使用Algolib所做的工作以及您计划的使用和应用程序,我们将非常高兴。

我们的包裹

绿色荧光粉-生成函数包

这个绿色荧光粉package用于 生成函数的操作和发现。编写人布鲁诺·萨尔维,保罗·齐默尔曼还有伊芙妮·默里。联系方式:gfun@inria.fr.

它有它自己的网站您可能需要检查最新版本和许多实际示例。

Mgfun公司-多元母函数 包

这个Mgfun公司软件包用于多元生成函数的计算,特别是它们的符号求和和和积分,以及特殊函数和组合恒等式的证明。它还允许在算子的非交换代数(如Weyl代数或Ore代数)中进行运算,在这些代数中消除运算,以及对完整函数的运算奥瑞代数格罗布纳已并入 MapleV Release 5的核心库中,作为前者的替代格罗布纳包裹。整套包装是Algolib库. 编写人弗里德里克·奇扎克.

正则表达式计数-正则表达式与计数

Regexpcount是一个专门用于正则表达式和combstruct语法中描述的automatas的包;对于automatas来说,这有助于转换为生成函数。 Regexpcount还提供对automatas内部结构(如maple表)的访问。当计算随机序列中模体或正则表达式出现的次数时,序列的潜在概率模型是Bernoulli或Markov。

gdev公司-级数展开与极限

与Maple的asympt和series命令相比,它为渐近级数展开使用了不同的模型。包括相等的调查文章中提到的功能。相等的泰勒系数的渐近展开,在生成函数的研究中有用。编写人布鲁诺·萨尔维.

 

算法的自动渐近平均情况分析

-算法分析系统

用Caml和Maple编写的一种系统,用于对算法进行平均情况复杂度分析。编写人布鲁诺·萨尔维保罗·齐默尔曼. 联系方式:algolib@inria.fr.请注意,很多罗已经被合并和现代化组合结构包,所以你可能想先检查一下。
自2011年6月21日起,本页可阅读白俄罗斯由Galina Miklosic翻译。谢谢你。