KMS Chongqing Institute of Green and Intelligent Technology, CAS
Simplification of cylindrical algebraic formulas | |
Chen, Changbo1; Moreno Maza, Marc1,2 | |
2015 | |
摘要 | 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. |
语种 | 英语 |
DOI | 10.1007/978-3-319-24021-3_9 |
会议(录)名称 | 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015 |
页码 | 119-134 |
收录类别 | EI |
会议地点 | Aachen, Germany |
会议日期 | September 14, 2015 - September 18, 2015 |