Resolution of nonlinear interval problems using symbolic interval arithmetic