论文题目


发表论文
  1. M、 A.Barkatou,S.S.Maddah(2015年)。消除具有有理函数系数的线性微分方程组的表观奇异性。出现在第40届符号与代数计算国际研讨会论文集,ACM出版社。

  2. S、 S.Maddah、M.Barkatou和H.Abbas(2014年)。关于奇摄动线性微分系统的约化。第39届符号与代数计算国际研讨会论文集,ACM出版社,第320-327页。
    向下负载:已发布版本 准备打印

  3. S、 S.Maddah、M.Barkatou和H.Abbas(2014年)。一类双变量pfaffan系统的形式解。第39届符号与代数计算国际研讨会论文集,ACM出版社,第312-319页。
    下载:已发布版本 预印本

提交的论文

4.M.A.Barkatou,S.S.Maddah (2015年)。奇摄动线性微分方程组的形式解。
         


正在修订的论文

5.巴卡图文学硕士,马克西米利安雅罗斯切克,S.S.Maddah(2015),一类Pfaffian系统的形式化解决方案
变量。幻灯片.




软件


以下软件包为初步版本,正在持续更新中,并将添加新功能。如果有任何意见/建议/错误报告,我将不胜感激。

  1. 林达格:具有奇点的 线性微分方程组符号分解的Mathemagix软件包。2014年夏季谷歌代码.

    下载并安装Mathemagix
    (Lindalg附有计算实例-开源)
    下载教程
    下载手册


  2. 微绝缘:Maple软件包 用于具有奇点的线性微分方程组的符号分解。此软件包是伊索尔德以及枫树中林达格的类似物。

    下载包
    下载教程
    下载枫叶表实例
    点击在这里或者在一些计算示例的数字上: 1 2 4


  3. 参数:Maple程序包,用于奇异摄动线性微分方程组的符号解析,原型实现。基于文献[2]和[4]。

    下载包(可下载有限版本,即不包括 指数部分计算的版本。然而,下面的pdf文件中给出了示例。如果有兴趣,请发邮件给我,我会给你发送完整的ParamInt原型包。)
    下载枫叶表实例
    指数零件计算下载表:pdf文件
    一些计算实例


  4. PfaffInt公司:具有正常交叉点的完全可积 Pfaffian系统符号解析的Maple包,原型实现。基于文献[3]和[5]。

    下载包
    下载枫叶表实例
    点击在这里 或者关于一些计算例子的数字:1 2

  5. 申请:Maple软件包,用于去除有理函数系数线性微分方程组的明显奇异性。M、 A. Barkatou,S.S.Maddah(2015年)。基于论文[1]。

    下载包:上次更新:2015年11月4日
    下载手册。
    下载枫叶表格的例子。
    单击此处获取一些计算示例。


  6. 参数:Maple包,用于参数扰动矩阵的类微分约化。
         下载包
         下载Maple示例表
         点击 在这里对于一些计算的例子。



要安装任何Maple软件包(例如AppSing),可以按以下步骤进行: