论文部分内容阅读
It is one of the oldest research topics in computer algebra to determine the equivalence of Riemann tensor indexed polynomials.However it remains to be a challenging problem since Groebner basis theory is not yet powerful enough to deal with non-associative multiplication.So far in literature there arent any general theories to solve this problem.