Jiang Liu等人：自动发现多项式动力系统的松弛Lyapunov函数（2011） 期刊/corr/abs-1103-3372 1103.3372 多项式动力系统松弛Lyapunov函数的自动发现 三 姜柳0009 1 詹乃军（Naijun Zhan） 2 赵恒军 三 CoRR公司 CoRR公司 abs/1103.3372 2011 dblp记录'journals/corr/abs-1103-3372'的RDF数据的来源信息 2018年8月13日16:47:35+0200