Verified solution of parametric interval linear systems / presented by Hassan Badry Mohamed El-Owny