Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming

Qiuye Wang,Lihong Zhi,Naijun Zhan, Bai Xue,Zhi-hong Yang

semanticscholar（2019）

引用 0|浏览3

暂无评分

摘要

QIUYE WANG, Institute of Software, Chinese Academy of Sciences University of CAS, China BAI XUE, Institute of Software, Chinese Academy of Sciences University of CAS, China NAIJUN ZHAN, Institute of Software, Chinese Academy of Sciences University of CAS, China LIHONG ZHI, Institute of System Science, Academy of Mathematics and System Sciences, Academia Sinica, China ZHI-HONG YANG, NC State University, USA

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要