TY - RPRT TI - Computing Enclosures of Overdetermined Interval Linear Systems AU - Jaroslav Horáček AU - Milan Hladík PY - 2013 UR - https://arxiv.org/abs/1304.4738 ID - 1304.4738 ER -