Enclosing solutions of singular interval systems iteratively (Q2484076)

The authors study the equation \[ [x]=[A][x]+[b] \] where \([A]\) is a square interval matrix, \([x]\), \([b]\) are interval vectors, and the arithmetic operations are performed in interval arithmetic. Under the assumptions of irreducibility of \(| [A]| \) and of the existence of a solution to the equation they formulate a necessary and sufficient condition for the iteration \[ [x]^{k+1}=[A][x]^{k}+[b] \] to converge for an arbitrary initial interval vector \([x]^{0}\).