TY - RPRT TI - A method to rigorously enclose eigendecompositions of interval matrices AU - Roberto Castelli AU - Jean-Philippe Lessard PY - 2011 UR - https://arxiv.org/abs/1112.5052 ID - 1112.5052 ER -