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

【摘要】 <正> 一、问题与结果在文献[1]中一般地叙述了右方为二次多项式的方程组的中心与焦点的判据及有关的函数的作法,具体地给出一种特殊类型,即型的结果。在那里由于用了一个旋转,将参数减少一个,因此,虽然不失普遍性(即参数实际不减少),更多还原