Verified numerical computation for nonlinear equations

From MaRDI portal
Publication:849180