微分方程公式的机器推导(Ⅱ)

在文献[1]中我们开展了微分方程公式的机器推导,并在一个特例,即型[2]的情形,计算了V3、V5、V7。