Automated Reasoning and Equation Solving with the Characteristic Set Method |
| |
Authors: | Wen-Tsun Wu Xiao-Shan Gao |
| |
Affiliation: | Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences Beijing 100080, P.R. China |
| |
Abstract: | 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 identities are proposed. |
| |
Keywords: | characteristic set method automated reasoning first order theory difference equation |
本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录! |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |