Rigorous numerical computation of polynomial differential equations over unbounded domains

From MaRDI portal
Publication:2807868