珍妮特 swMATH ID: 7776 软件作者: Blinkov Y、Cid C、Gerdt V、Plesken W、Robertz D 描述: Maple包Janet实现了V.P.Gerdt和Y.A.Blinkov的对合基技术,用于计算线性偏微分方程组的Janet基和Janet-like Gröbner基。它使用Maple中特征为零的微分域上定义的微分代数上的左模。Janet还提供了许多用于处理微分表达式和微分运算符的工具。可以计算非线性偏微分方程组的一般线性化。一些过程将微分表达式转换为jet表示法,反之亦然。对于表示特征零点上系数为有理函数的常微分算子的Weyl代数,实现了初等除数算法[Rehm 2001/2002],[Cohn 1985],以计算该Weyl代数学中含有项的矩阵的Jacobson正规形式。在Janet中可用的微分单项式的序中,有度逆字典序、纯字典序、块序及其对多个因变量情况的扩展,这些因变量对应于多项式情况下的“项高于位置”和“位置高于项”序。为了避免对合基计算过程中不必要的缩减,实现了四个对合准则。 主页: http://wwwb.math.rwth-aachen.de/Janet/Janet.html 依赖项: 枫树 相关软件: 单一;枫树;Ore模块;麦考利2;复数;岩浆;差异托马斯;正则链;吉诺夫;奎伦斯普林;霍马格;矿石形态;DIFFALG公司;珍妮特·奥尔;SADE公司;宝石;代数托马斯;裂纹;可可;时间差分系统 引用于: 37文件 全部的 前5名43位作者引用 12 丹尼尔·罗伯茨 9 弗拉基米尔·彼得罗维奇·格特 6 威廉·普莱斯肯 4 马库斯·兰盖·赫格曼 三 尤里·布林科夫。 三 黄,S.-L.特蕾西 三 伊恩·莱尔(Ian G.Lisle)。 三 德米特里·A·李亚霍夫。 三 多米尼克·卢德维格·米歇尔斯 三 阿尔班Quadrat 2 托马斯·巴克勒 2 穆罕默德·巴拉卡特 2 尤里·阿纳托尔·埃维奇·布林科夫 2 安娜·法比安斯卡 2 伊戈尔·卡夫金 2 维克托·列万多夫斯基 2 克里斯蒂娜·辛德勒 1 斯特芬·阿克斯泰纳 1 沙迪·阿尔-奥马里 1 拉尔斯·奥克·安德森 1 哈桑·阿扎德 1 托马斯·巴克达尔 1 A.Yu,布林科娃。 1 卡尔·海因茨·布拉克哈奇 1 马蒂奥·卡萨蒂 1 托马斯·克鲁索 1 阿米尔·哈希米 1 侯赛因,扎希德 1 谢尔盖·伊万诺夫。 1 塞巴斯蒂安·占博 1 罗伯托·斯卡拉 1 M.-Alizadeh,本亚明 1 列夫·莫吉列维奇。 1 弗拉基米尔·莫日尔金。 1 艾丽斯·尼迈耶(Alice C.Niemeyer)。 1 Greg J.里德。 1 英格玛·H·里德尔-克鲁斯。 1 安斯加·斯特泽尔奇克 1 安德烈亚斯·古恩特·韦伯 1 伯纳德·怀特(Bernard F.Whiting)。 1 费阿祖德·丁扎曼 1 伊娃·泽兹 1 张晓静 全部的 前5名18篇连载文章中引用 8 符号计算杂志 三 代数杂志 2 数学物理中的通信 2 编程和计算机软件 2 代数杂志及其应用 1 经典引力和量子引力 1 工程数学杂志 1 计算数学 1 数学档案馆 1 多维系统及信号处理 1 实验数学 1 数学科学杂志(纽约) 1 数学课堂笔记 1 计算机科学中的数学 1 对称 1 萨拉托夫斯科戈大学。诺瓦亚·塞里亚。Seriya Matematika、Mekhanika、Informatika 1 数学 1 延迟和动力学的进展 全部的 前5名在25个字段中引用 17 交换代数(13-XX) 15 计算机科学(68至XX) 12 偏微分方程(35-XX) 5 场论和多项式(12-XX) 4 数值分析(65-XX) 4 系统论;控制(93至XX) 三 群论与推广(20-XX) 三 可变形固体力学(74-XX) 三 流体力学(76-XX) 2 结合环与代数(16-XX) 2 非结合环和代数(17-XX) 2 几个复变量和分析空间(32-XX) 2 动力系统和遍历理论(37至XX) 2 相对论和引力理论(83至XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 范畴理论;同调代数(18-XX) 1 特殊功能(33至XX) 1 算子理论(47-XX) 1 变异微积分和最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文