Simplification of cylindrical algebraic formulas
文献类型：会议论文
| 作者 | Chen, Changbo1; Moreno Maza, Marc1,2 |
| 出版日期 | 2015 |
| 会议日期 | September 14, 2015 - September 18, 2015 |
| 会议地点 | Aachen, Germany |
| DOI | 10.1007/978-3-319-24021-3_9 |
| 页码 | 119-134 |
| 英文摘要 | For a set S of cells in a cylindrical algebraic decomposition of Rn, we introduce the notion of generalized cylindrical algebraic formula (GCAF) associated with S. We propose a multi-level heuristic algorithm for simplifying the cylindrical algebraic formula associated with S into a GCAF. The heuristic strategies are motivated by solving examples coming from the application of automatic loop transformation. While the algorithm works well on these examples, its effectiveness is also illustrated by examples from other application domains. © 2015 Springer International Publishing Switzerland. |
| 会议录 | 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015
 |
| 语种 | 英语 |
| 电子版国际标准刊号 | 16113349 |
| ISSN号 | 03029743 |
| 源URL | [http://119.78.100.138/handle/2HOD01W0/4832]  |
| 专题 | 自动推理与认知研究中心 |
| 作者单位 | 1.Chongqing Key Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, China; 2.ORCCA, University of Western Ontario, London, Canada |
| 推荐引用方式 GB/T 7714 | Chen, Changbo,Moreno Maza, Marc. Simplification of cylindrical algebraic formulas[C]. 见:. Aachen, Germany. September 14, 2015 - September 18, 2015. |
入库方式： OAI收割
来源：重庆绿色智能技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。