Lyapunov stability of polynomial vector fields is undecidable figure
AlphaXiv 中文概览(可滚动查看)