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

组合分析、离散数学和计算机代数算法项目的主要兴趣。我们的包裹让您放心指定、生成和枚举组合结构；操纵相关的生成函数、函数方程或复发；研究它们的渐近行为。两者之间的相互作用这些应用程序服务于算法项目的主要目标算法复杂性自动分析。然而，长期这一方向的研究已经引发了其他线性微分和差分运算程序包运算符、Groebner基计算和符号求和特殊函数和组合序列的集成。

上述特殊辐射是Algolib公司图书馆它将我们的大部分节目都集中在一个档案中，和百科全书组合结构，允许按关键字访问，组合规范，生成函数，封闭形式或枚举序列中的第一个整数到多个组合数结构。其中很多是使用自动生成的combstruct结构,gfun公司、和格德夫.

自动化研究组合数学是作为介绍我们软件包的使用，以及高级说明它们在组合学研究中的用途的会议，特别函数或渐近分析。也可作为Maple帮助页面使用在Algolib图书馆。

下载Algolib

这个Algolib公司图书馆收集由Algo团队INRIA。目前包含组合结构,百科全书,格德夫,gfun公司,格罗布纳,全息,疯狂,Mgfun公司,多系列,数字Gfun,Ore_代数、和正则表达式计数。这些包（及更多）如下所述。一个联机版本百科全书中也有。

Algolib，17.0版（2013年7月9日）。对于Maple17。根据GNU较低通用公共许可证发布(LGPL v2.1版).
[自述文件|枫树图书馆|枫树帮助页面|焦油源代码的|tar.gz源代码的]

请注意，安装Algolib不需要源代码，只有库和帮助页面（.mla和.hdb文件）。

过时的版本

如果您使用Algolib，我们将非常高兴如果您能让我们了解您所做的工作以及您计划的使用和应用程序和Algolib一起。

我们的套餐

gfun公司-生成函数包

这个gfun公司包用于操作和发现生成函数。编写人布鲁诺·萨维,保罗·齐默尔曼和艾思娜·默里。联系人：gfun@inria.fr.

它有自己的网站您可能想查看最新版本和许多真实示例。

Mgfun公司-多元生成函数包裹

这个Mgfun公司包裹的用途使用多元生成函数进行计算，特别是它们的符号求和与积分，以及特殊性的证明函数和组合恒等式。它还允许在算子的非交换代数（如Weyl或Ore代数），这些代数中的消元，以及完整函数的运算。特别是，子包Ore_代数和格罗布纳已并入核心库MapleV Release 5，作为前者的替代格罗布纳包裹。整套包装是这个Algolib库.编写人Frédéric Chyzak奶酪.

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

Regexpcount是一个专用于正则表达式和自动机的包在combstruct语法中描述；就自动机而言，这有助于转换为生成函数。Regexpcount还提供对内部自动机的结构被描述为maple表。计数时随机序列中出现的基序或正则表达式，序列的潜在概率模型是伯努利或马尔可夫。

格德夫-级数展开和极限

用于更一般的序列扩展和限制的工具。使用不同的模型进行渐近级数展开而不是Maple的asympt和series命令。包括相等的调查文章中提到的功能。相等的做泰勒系数的渐近展开式，用于研究生成功能。编写人布鲁诺·萨维.

 

算法的自动渐近平均案例分析

罗-分析系统算法

用Caml和Maple编写的系统，用于执行平均案例复杂性算法分析。编写人布鲁诺·萨维和保罗·齐默尔曼.联系人：algolib@inria.fr.请注意，在combstruct结构包，因此您可能需要检查首先是那里。 自2011年6月21日起，本页可以阅读白俄罗斯语由Galina Miklosic翻译。谢谢你Galina。