一阶通用常微分多项式的微分消元式矩阵公式
摘要：两个一阶任意次数的普通微分多项式 $f_1$ 和 $f_2$ 的微分结果的矩阵表示被给出。也就是说，一个非奇异矩阵被构造出来，它的行列式包含微分结果作为一个因子。此外，$f_1, f_2, \delta f_1, \delta f_2$ 在 $y, y', y''$ 上被视为多项式时的代数稀疏结果显示为$ f_1，f_2 $ 的微分结果的非零倍数。尽管非常特殊，但这似乎是一类非线性通用微分多项式的第一个矩阵表示。
作者：Zhi-Yong Zhang and Chun-Ming Yuan and Xiao-Shan Gao
论文ID：1204.3773
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2012-04-18