Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

From MaRDI portal
(Redirected from Publication:1670296)