姜柳0009 詹乃军（Naijun Zhan） 赵恒军 多项式动力系统松弛Lyapunov函数的自动发现。 395-408 2012 6 数学。计算。科学。 4 https://doi.org/10.1007/s11786-012-0133-6 db/journals/mics/mics6.html#LiuZZ12