Generating polynomial invariants with DISCOVERER and QEPCAD | |
Chen, Yinghua ; Xia, Bican ; Yang, Lu ; Zhan, Naijun | |
2007 | |
英文摘要 | This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invariants represented as a semi-algebraic system are more expressive than those generated with the well-established approaches in the literature, which are normally represented as a conjunction of polynomial equations. We implement this approach with the computer algebra tools DISCOVERER and QEPCAD1. We also explain, through the complexity analysis, why our approach is more efficient and practical than the one of [17] which directly applies first-order quantifier elimination. ? Springer-Verlag Berlin Heidelberg 2007.; EI; 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/411291] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Chen, Yinghua,Xia, Bican,Yang, Lu,et al. Generating polynomial invariants with DISCOVERER and QEPCAD. 2007-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论