Why using symbolic computation for proving the convergence of iterative methods?

From MaRDI portal
Publication:2937247