DIMSYM公司

Dimsym是一个主要用于确定微分方程对称性的程序。它还可用于计算有限维流形上向量场或微分形式分布的对称性、几何对象的对称性(如等距),也可用于求解线性偏微分方程。要使用它的主要功能,用户需要指定一个常微分方程组和/或偏微分方程组以及要找到的对称类型(liepoint、liebacklund或用户提供的ansatz)。然后,Dimsym生成相应的决定方程(一般对称发生器的线性偏微分方程组)。它继续求解这些方程,报告产生解所需的任何特殊条件。最后,Dimsym给出了对称群(当然可能是无限维)的生成元。该程序允许用户计算Lie方括号、向量导数等,并且它与REDUCE包EXCALC有接口,这样就可以在程序中使用流形上的所有微积分机制。它的跟踪可以有广泛的或交互式的选项。


zbMATH参考文献(72篇文章引用)

显示第1到第20个结果,共72个。
按年份排序(引用)
  1. Paliathanasis,Andronikos;Leach,P.G.L.:非线性常微分方程:关于对称性和奇异性的讨论(2016)
  2. Mhlongo,M.D.;Moitsheki,R.J.:具有不同剖面的纵向翅片稳态传热非线性翅片问题的一些精确解(2014)
  3. Potsane,M.M.;Moitsheki,R.J.:径向均匀水流作用下饱和土壤污染物运移的群不变解分类(2014)
  4. Adem,Abdullahi Rashid;Khalique,Chaudry-Masood:耦合Kadomtsev-Petviashvili系统的新精确解和守恒定律(2013)
  5. O'Hara,J.G.;Sophocleous,C.;Leach,P.G.L.:障碍期权行使模型的对称性分析(2013)
  6. Tehseen,Naghmana;Prince,Geoff:PDE的微分几何平均积分(2013)
  7. Harley,C.;Moitsheki,R.J.:矩形纵肋温度分布的数值研究(2012)
  8. Sinkala,W.;Chaisi,M.:使用Lie对称性分析解决水平平板传质模型的问题(2012)
  9. Vu,K.T.;Jefferson,G.F.;Carminati,J.:使用MAPLE包DESOLVII(2012年)寻找微分方程的更高对称性
  10. 辛卡拉,W.:两种方法,使用李群分析,解决期限结构双平方根模型中的基本估值方程(2011年)
  11. Sinkala,W.;Leach,P.G.L.;O'Hara,J.G.:将Vasicek模型嵌入到Cox-Ingersoll-Ross模型中(2011年)
  12. Harley,C.:Hopscotch方法:Frank Kamenetskii偏微分方程的数值解(2010)
  13. Hayat,T.;Moitsheki,R.J.;Abelman,S.:Stokes关于多孔壁上Sisko流体的第一个问题(2010)
  14. Moitsheki,R.J.;Makinde,O.D.:描述热能储存的非线性扩散方程的经典Lie点对称性分析(2010)
  15. Momoniat,E.;Mahomed,F.M.:薄膜流三阶常微分方程的对称约化和数值解(2010)
  16. Moitsheki,R.J.;Makinde,O.D.:圆柱系统中污染物扩散的对称约化和解决方案(2009)
  17. Momoniat,E.:薄膜流三阶常微分方程的对称性、第一积分和相平面(2009)
  18. Momoniat,E.:圆柱形容器中的热爆炸:非经典对称方法(2009)
  19. Myeni,S.M.;Leach,P.G.L.:一些二维演化方程的完全对称群和非局部对称性(2009)
  20. Sarlet,W.;Prince,G.E.;Crampin,M.:二阶常微分方程的广义淹没性(2009)