Automated Reasoning and Equation Solving with the Characteristic Set Method

@article{Wu2006AutomatedRA,
  title={Automated Reasoning and Equation Solving with the Characteristic Set Method},
  author={Wenjun Wu and Xiao-Shan Gao},
  journal={Journal of Computer Science and Technology},
  year={2006},
  volume={21},
  pages={756-764}
}
A brief introduction to the characteristic set method is given for solving algebraic equation systems and then the method is extended to algebraic difference systems. The method can be used to decompose the zero set for a difference polynomial set in general form to the union of difference polynomial sets in triangular form. Based on the characteristic set method, a decision procedure for the first order theory over an algebraically closed field and a procedure to prove certain difference… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

Similar Papers

Loading similar papers…