曼纽尔·布朗斯坦 \（Sigma^{it}）–线性微分和差分方程的ALDOR库。（摘要）。 （英语） Zbl 1012.68237号 Cohen，Arjeh M.（编辑）等人，《数学软件》。第一届国际会议记录，中国北京，2002年8月17日至19日。新加坡：《世界科学》，第485页（2002年）。 摘要：我们描述了计算机代数库（Sigma^{it}）是如何从一个专用的可嵌入库发展到通用的ALDOR计算机代数库的，特别强调了求解线性常微分和（q）-差分方程的有效算法。在简要介绍了最近在（Sigma^{it}）中实现的算法之后，我们特别概述了它的以下设计方面：它使用ALDOR编程语言的高级功能（事后扩展和回调）将抽象数据类型和泛型算法与特定类型的高效特殊算法相结合。它在非代数闭常数域上实现微分伽罗瓦理论的算法，允许将来高效地推广到线性偏微分方程。它使用抽象的通用解析器和解释器，以便在（Sigma^{it}）客户端和交互程序（例如MAPLE、图形用户界面、web服务等）之间轻松通信。有关整个系列，请参见[Zbl 0995.00019号]. MSC公司： 68瓦30 符号计算和代数计算 34-04 常微分方程相关问题的软件、源代码等 35-04 偏微分方程相关问题的软件、源代码等 39-04 与差分方程和函数方程有关的问题的软件、源代码等 05年12月12日 微分代数 2005年12月 场论和多项式的计算方面（MSC2010） 关键词：计算机代数;ALDOR计算机代数库;\（\西格玛^{it}\） 软件：相扑;枫树;阿尔多 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein}，in：数学软件。第一届国际会议记录，中国北京，2002年8月17日至19日。新加坡：世界科学。485（2002年；兹比尔1012.68237）