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

<正> 在文献[1]中我们开展了微分方程公式的机器推导,并在一个特例,即型的情形,计算了V_3、V_5、V_7。在文献[1]中V_3为2项,V_5为17项,V_7为74项。在V_3=0的条件下,加工出为5项,在V_3=V_5=0的条件下,加工出为9项。