论文部分内容阅读
Dixon resultant is a fundamental tool of elimination theory.It has provided the efficient and practical solutions to some benchmark problems in a variety of applications domains,such as automated reasoning,automatic control,robotics and solid modeling.