Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
文献类型：会议论文
| 作者 | England, Matthew1; Bradford, Russell1; Chen, Changbo2; Davenport, James H.1; Maza, Marc Moreno3; Wilson, David1 |
| 出版日期 | 2014 |
| 会议日期 | July 7, 2014 - July 11, 2014 |
| 会议地点 | Coimbra, Portugal |
| DOI | 10.1007/978-3-319-08434-3_5 |
| 页码 | 45-60 |
| 英文摘要 | Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advances: truth-table invariance, making the CAD invariant with respect to the truth of logical formulae rather than the signs of polynomials; and CAD construction by regular chains technology, where first a complex decomposition is constructed by refining a tree incrementally by constraint. We here consider how best to formulate problems for input to this algorithm. We focus on a choice (not relevant for other CAD algorithms) about the order in which constraints are presented. We develop new heuristics to help make this choice and thus allow the best use of the algorithm in practice. We also consider other choices of problem formulation for CAD, as discussed in CICM 2013, revisiting these in the context of the new algorithm. © 2014 Springer International Publishing. |
| 会议录 | 2014 International Conference on Intelligent Computer Mathematics, CICM 2014
 |
| 语种 | 英语 |
| 电子版国际标准刊号 | 16113349 |
| ISSN号 | 03029743 |
| 源URL | [http://119.78.100.138/handle/2HOD01W0/4720]  |
| 专题 | 自动推理与认知研究中心 |
| 作者单位 | 1.University of Bath, Bath, BA2 7AY, United Kingdom; 2.Chongqing Key Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, CAS, Chongqing, 400714, China; 3.University of Western Ontario, London, ON N6A 5B7, Canada |
| 推荐引用方式 GB/T 7714 | England, Matthew,Bradford, Russell,Chen, Changbo,et al. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition[C]. 见:. Coimbra, Portugal. July 7, 2014 - July 11, 2014. |
入库方式： OAI收割
来源：重庆绿色智能技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。