Symetrická množina řešení je definována jako množina řešení všech systémů Ax = b, kde A je symetrická a pochází intervalovou matici a b prochází intervalový vektor. Prezentujeme kontraktor, který začne ve výchozím ohraničení a pak iterativně zmenšuje toto ohrazení.
Tento kontrakto je založen na polyedrální aproximaci a řešení pomocí lineárních programů.