微分代数 swMATH ID: 13540 软件作者: 弗朗索瓦·布利埃;弗朗索瓦·莱梅尔 描述: 微分代数包实现了代数和微分消除算法,这些算法是简化多项式微分方程组和计算其形式幂级数解的关键。基本理论是约瑟夫·费尔斯·里特(Joseph Fels Ritt)和埃利斯·罗伯特·科尔钦(Ellis Robert Kolchin)的微分代数[R50,K73](见参考文献)。该软件包的主要功能由RosenfeldGroebner函数提供,该函数允许将微分方程系统三角化,以便一次消除一个变量即可求解,根据系统的可积性条件简化系统,或确定其奇异情况。还提供了用于解决相关问题的命令,例如BelongsTo用于确定差分理想的成员身份,ReducedForm用于将系统简化为另一个系统。计算微分方程系统形式幂级数解的命令是PowerSeriesSolution。下面列出了用于分析微分系统数学特性或执行代数操作和相关编程的其他命令。 主页: http://www.maplesoft.com/support/help/maple/view.aspx?path=DifferentialAlgebra 依赖项: 枫树 相关软件: 枫树;DIFFALG公司;差异托马斯;叶片;艾司隆;prs.铲;微分几何;向量场的李代数;地图DE;里夫;SADE公司;宝石;可观察性测试;利亚尔;差速器2;发现者;Matlab公司;BLINEIDE公司;INTEG公司;罗德斯 引用于: 11文件 全部的 前5名24位作者引用 8 弗朗索瓦·布利埃 8 弗朗索瓦·莱梅尔 三 阿德里安·波提奥 三 娜塔莉·威尔第 2 马克·莫雷诺·马扎 2 马库斯·罗森克兰兹 1 阿卜杜拉利·巴西里 1 赫莱内·卡斯特尔 1 纳塔莉·科尔森 1 丹尼斯·维达尔(Denis-Vidal)、莉莲娜(Lilianne) 1 沙赫纳斯·法库里 1 黄,Tracy Shih-lung 1 约瑟夫·拉勒曼德 1 瓦伦蒂娜·兰扎 1 马克·勒弗朗克 1 扎赫拉·穆罕默德 1 皮埃尔·埃马纽埃尔·莫兰特 1 阿尔班Quadrat 1 萨贾德·拉赫曼尼 1 乔治·雷根斯堡 1 格雷戈里·约翰·里德 1 亚历山大·塞多拉维奇 1 罗珊·乌希罗比拉 1 朱寿生 4篇连载文章中引用 三 计算机科学中的数学 2 符号计算杂志 1 计算与应用数学杂志 1 敏锐的数学与统计 全部的 前5名在12个字段中引用 6 计算机科学(68至XX) 5 场论和多项式(12-XX) 三 交换代数(13-XX) 2 积分方程(45-XX) 2 数值分析(65-XX) 2 生物学和其他自然科学(92-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 近似值和展开值(41至XX) 1 统计学(62-XX) 1 系统论;控制(93至XX) 按年份列出的引文