艾达

aidamaple包:代数不变量及其微分代数。AIDA包将是一个例程集合,用于探索微分不变量的代数:不变量生成集的计算、重写、合成及其微分类比。该包构建在Maple库Groebner、Vessiot和diffalg上。I.Kogan使用IVB的初始代码。


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

显示第1到第20个结果,共57个。
按年份排序(引用)
  1. Musso,Emilio;Hubert,Evelyne:四维仿射辛空间中的拉格朗日曲线(2014)
  2. Gonçalves,T.M.N.;Mansfield,E.L.:欧氏不变拉格朗日运动框架和守恒定律(2013)
  3. Gonçalves,T.M.N.;Mansfield,E.L.:关于移动框架和Noether守恒定律(2012)
  4. Abramov,S.A.:关于与(q)-带参数差分方程有关的一些可判定和不可判定问题(2010)
  5. Avendaño,Martín;Ibrahim,Ashraf;Rojas,J.Maurice;Rusek,Korben:一个变量中稀疏多项式的(p)-adic有理根的随机NP完全性(2010)
  6. Barkatou,Moulay A.:解线性常微分方程组的符号方法(2010)ioport公司
  7. Barkatou,Moulay A.;El Bacha,Carole;Pflügel,Eckhard:同时行和列缩减的高阶线性微分系统(2010)
  8. Berkesch,Christine;Leykin,Anton:Bernstein-Sato多项式和乘法器理想的算法(2010)
  9. Bodrato,Marco:一种适合平方和更高功率计算的类Strassen矩阵乘法(2010)
  10. 博斯坦,阿林;陈绍史;奇扎克,弗里德里克;李子明:二元有理函数创造性伸缩的复杂性(2010)
  11. Brisebarre,Nicolas;Joldeş,Mioara:基于切比雪夫插值多项式的严格计算工具(2010)
  12. Brown,Christopher W.;Strzebonski,Adam:黑盒/白盒简化和量词消除的应用(2010)
  13. Cha,Yongjae;van Hoeij,Mark;Levy,Giles:使用局部不变量求解递归关系(2010)
  14. Chen,Changbo;Davenport,James H.;May,John P.;Maza,Marc Moreno;Xia,Bican;Xiao,Rong:半代数系统的三角分解(2010)
  15. Conti,C.;Geminagani,L.;Romani,L.:用于插值细分方案设计的类Bezout多项式方程的求解(2010年)
  16. 韦恩·埃伯里:又一个块Lanczos算法:如何简化计算并减少对小场情况下预处理的依赖(2010)
  17. Emiris,Ioannis Z.;Galligo,André;Tsigaridas,Elias P.:用于实际求解的随机多项式和二分法的预期复杂性(2010)
  18. Emiris,Ioannis Z.;Mourrain,Bernard;Tsigaridas,Elias P.:DMM界:多元(聚合)分离边界(2010)
  19. Faugère,Jean-Charles;El-Din,Mohab-Safey;Spaenlehauer,Pierre-Jean:使用Gröbner基计算线性矩阵秩缺陷的轨迹及其在密码学中的应用(2010)
  20. Faugère,Jean-Charles;von zur-Gathen,Joachim;Perret,Ludovic:一般多元多项式的分解(2010)