中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 重庆绿色智能技术研究院
  3. 中国科学院重庆绿色智能技术研究院
  4. 自动推理与认知研究中心
Quantifier elimination by cylindrical algebraic decomposition based on regular chains

文献类型：期刊论文

作者Chen, Changbo1; Maza, Marc Moreno1,2
刊名JOURNAL OF SYMBOLIC COMPUTATION
出版日期2016-07-01
卷号75页码:74-93
关键词Quantifier elimination Cylindrical algebraic decomposition Regular chains Triangular decomposition
ISSN号0747-7171
DOI10.1016/j.jsc.2015.11.008
通讯作者Chen, CB ; Maza, MM (reprint author), Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing Key Lab Automated Reasoning & Cognit, Beijing 100864, Peoples R China. ; Maza, MM (reprint author), Western Univ, ORCCA, London, ON, Canada.
英文摘要A quantifier elimination algorithm by cylindrical algebraic decomposition based on regular chains is presented. The main idea is to refine a complex cylindrical tree until the signs of polynomials appearing in the tree are sufficient to distinguish the true and false cells. We report an implementation of our algorithm in the RegularChains library in MAPLE and illustrate its effectiveness by examples. (C) 2015 Elsevier Ltd. All rights reserved.
资助项目NSFC[11301524] ; NSFC[11471307] ; CSTC[cstc2015jcyjys40001] ; CSTC[cstc2012ggB40004]
WOS研究方向Computer Science ; Mathematics
语种英语
WOS记录号WOS:000370089800005
出版者ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
源URL[http://119.78.100.138/handle/2HOD01W0/2233]  
专题自动推理与认知研究中心
通讯作者Chen, Changbo; Maza, Marc Moreno
作者单位1.Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing Key Lab Automated Reasoning & Cognit, Beijing 100864, Peoples R China
2.Western Univ, ORCCA, London, ON, Canada
推荐引用方式
GB/T 7714		 Chen, Changbo,Maza, Marc Moreno. Quantifier elimination by cylindrical algebraic decomposition based on regular chains[J]. JOURNAL OF SYMBOLIC COMPUTATION,2016,75:74-93.
APA Chen, Changbo,&Maza, Marc Moreno.(2016).Quantifier elimination by cylindrical algebraic decomposition based on regular chains.JOURNAL OF SYMBOLIC COMPUTATION,75,74-93.
MLA Chen, Changbo,et al."Quantifier elimination by cylindrical algebraic decomposition based on regular chains".JOURNAL OF SYMBOLIC COMPUTATION 75(2016):74-93.

入库方式： OAI收割

来源：重庆绿色智能技术研究院

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。