ALGORITHMS; DIFFERENTIAL EQUATIONS; SERIES EXPANSION; TREES (MATHEMATICS); VECTOR SPACES; COEFFICIENTS; FUNCTIONS (MATHEMATICS); ITERATIVE SOLUTION; LIE GROUPS; NONLINEAR SYSTEMS; RUNGE-KUTTA METHOD;
机译:关于幂级数的非齐次线性常微分方程的符号解
机译:多项式系数在常点附近的n阶线性齐次微分方程精确幂级数解的符号算法
机译:带有符号计算的扩展提议算法可构造某些非线性微分方程的精确解
机译:常微分方程的参数定性分析:排除振荡的计算机代数方法(扩展摘要)(特邀演讲)
机译:分数阶微分方程和符号导数与积分的幂级数解。
机译:奇摄动常微分方程时间周期解的渐近界
机译:非线性与线性偏微分方程局部对称性的符号计算