Automated reasoning and equation solving with the characteristic set method
文献类型：期刊论文
| 作者 | Wu, Wen-Tsun; Gao, Xiao-Shan
|
| 刊名 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| 出版日期 | 2006-09-01 |
| 卷号 | 21期号:5页码:756-764 |
| 关键词 | characteristic set method automated reasoning first order theory difference equation |
| ISSN号 | 1000-9000 |
| 英文摘要 | 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. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000240962200013 |
| 出版者 | SCIENCE PRESS |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/2964]  |
| 专题 | 系统科学研究所 |
| 通讯作者 | Wu, Wen-Tsun |
| 作者单位 | Chinese Acad Sci, Key Lab Math Mechanizat, Inst Syst Sci, AMSS, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Wu, Wen-Tsun,Gao, Xiao-Shan. Automated reasoning and equation solving with the characteristic set method[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2006,21(5):756-764. |
| APA | Wu, Wen-Tsun,&Gao, Xiao-Shan.(2006).Automated reasoning and equation solving with the characteristic set method.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,21(5),756-764. |
| MLA | Wu, Wen-Tsun,et al."Automated reasoning and equation solving with the characteristic set method".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 21.5(2006):756-764. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。