知坤社 白雪0001 郑志明0001 连续动力系统渐近稳定性的代数分析。 313-320 2011 ISSAC公司 https://doi.org/10.1145/1993886.1993933 conf/issac/2011 db/conf/issac/issac2011.html#SheXZ11