Proving the convergence of the iterative methods by using symbolic computation in Maple

The proofs of the convergence for some high-order methods for solving nonlinear equations, by using symbolic computation in Maple, is presented. Also, the convergence error for some Newton-type methods is evaluated by symbolic computation.

Additional information

Author(s)

Ardelean, Gheorghe