机译:算法982:具有常数系数的一阶线性初值常微分方程的三角系统的显式解
机译:多项式系数在常点附近的n阶线性齐次微分方程精确幂级数解的符号算法
机译:多项式时间与多项式长度的多项式常微分方程的解相对应:通用模拟计算机和可计算分析是两种有效的计算模型
机译:快速算法求解带多项式系数的线性微分方程的有理解
机译:利用广义统一的修正的除数表示法检测和积分高振荡的常微分方程的算法。
机译:常系数二阶线性常微分方程组的Lie对称性
机译:利用树显式计算多项式系数常微分方程的积分算法和第一积分。