珍妮特

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中可用的微分单项式的序包括度逆字典序、纯字典序、块序及其对多个因变量情况的扩展,它们对应于多项式情况下的“项对位置”和“位置对项”顺序。为了避免对合基计算中不必要的约化,实现了四个对合准则。


zbMATH中的参考文献(参考文献37篇文章)

显示结果1到20,共37个。
按年份排序(引用)
  1. 阿克斯泰纳,斯特芬;安德森,拉尔斯;Bäckdahl,托马斯;哈夫金,伊戈尔;伯纳德·怀廷:黑洞时空的兼容性复合体(2021)
  2. 布拉卡赫,卡尔·海因茨;尼梅耶,爱丽丝C。;普莱斯肯,威廉;罗伯茨,丹尼尔;Strzelczyk,Ansgar:边缘长度为1的二十面体(2020)
  3. 兰格黑格曼,马库斯;Daniel Robertz:Thomas分解与非线性控制系统(2020)
  4. 样方,阿尔班(编辑);泽兹,伊娃(编):动力系统中的代数和符号计算方法。根据为第五届系统结构与控制研讨会(IFAC,法国格勒诺布尔,2013年2月4日至6日)和第21届网络与系统数学理论国际研讨会(MTNS 2014)特邀会议撰写的文章,荷兰格罗宁根,2014年7月7日至11日(2020年)
  5. Khavkine,Igor:有限型超定偏微分方程的相容复合物及其在Killing方程中的应用(2019)
  6. 米歇尔,D.L。;格特,副总裁。;布林科夫,你。A、 。;Lyakhov,D.A.:关于有限差分近似的一致性分析(2019)
  7. 张晓静;格特,弗拉基米尔P。;Blinkov,Yury A.:三维定常Stokes流强一致置换对称保守差分格式的代数构造(2019)
  8. 布林科夫,尤里A。;格特,弗拉基米尔P。;霍德米娅。;Michels,Dominik L.:定常Stokes流的强一致有限差分格式及其修正方程(2018)
  9. Al Omari,沙迪;扎曼,菲亚祖丁;Azad,Hassan:非线性Timoshenko系统的Lie对称性、最优系统和不变约化(2017)
  10. 莉尔,伊恩·G。;Huang,S.-L.Tracy:测谎系统的算法演算(2017)
  11. 米歇尔斯,多米尼克L。;李亚霍夫,德米特里A。;格特,弗拉基米尔P。;何赛因,撒希德;Riedel Kruse,英格玛H。;韦伯,安德烈亚斯G.:关于运动学科斯塞拉特方程的一般解析解(2016)
  12. 布林科娃,A.Yu。;布林科夫,你。A、 。;伊万诺夫公司。;Mogilevich,L.I.:包含粘性不可压缩流体并被弹性介质包围的几何和物理非线性粘弹性圆柱壳中的非线性变形波(2015)
  13. Casati,Matteo:关于流体动力型多维泊松支架的变形(2015)
  14. La Scala,Roberto:Gröbner基和偏差理想梯度(2015)
  15. Daniel Robertz:线性系统代数分析方法的最新进展(2015)
  16. 莉尔,伊恩·G。;黄,S.-L.Tracy;Reid,Greg J.:PDE的对称结构:开发部分集成系统(2014)
  17. Daniel Robertz:PDE的形式算法消除(2014)
  18. 格特,弗拉基米尔P。;哈希米,阿米尔;M、 -Alizadeh,Benyamin:结合F(_5)准则的对合基算法(2013)
  19. Bächler,托马斯;格特,弗拉基米尔;兰格黑格曼,马库斯;Robertz,Daniel:代数和微分系统的算法托马斯分解(2012)
  20. 克鲁索,托马斯;Quadra,Alban:带完整伴随的线性偏微分系统的Serre约化(2012)