特征列、Grbner基和良性基方法的实施、比较和改进

对良性基方法和微分特征列方法进行算法化,然后把这种方法在MAPLE中实现并和软件中的Grbner方法进行比较。

Implementation, comparison and improvement of the methods of characteristic set, Grbner bases and well-behaved bases

The algorithmization of the methods of well-behaved bases and differential characteristic sets was given. Some experiments were put forth to give the comparison of the methods of well-behaved bases and Gro¨bner bases. For computing differential characteristic sets, the method can improve the algorithm for computing the passive auto-reduced sets by detecting unnecessary computations in the process.