机译:GITA〜(-1):Birkhoff-Gustavson法则形式展开反问题的符号计算程序
机译:通过规范化超出正常形式的动力系统的渐近展开
机译:一种提供空间拟齐次多项式微分系统正规形式的算法
机译:多源逆几何CT系统的数据归一化方法
机译:带一个孔的区域上第一个规范化Steklov特征值在不同域上的Schrödinger-Steklov特征问题的正解和反问题
机译:反几何CT系统的直接二维重建算法
机译:Birkhoff-Gustavson归一化和aNFER的反问题, 正规形式扩展和恢复算法
机译:用微分代数精确计算导数并应用于梁动力学。第1部分,差分代数的调查及其用于将地图提取到任意顺序的用途;第2部分,复杂周期系统的正规形式方法: