Abstract
The symmetric solution set is the set of all solutions to the linear systems Ax = b, where A is symmetric and lies in some interval matrix, and b lies in some interval vector. We present a contractor, which is an iterative method that starts with some initial enclosure of the symmetric solution set and sequentially makes the enclosure tighter.
Our contractor is based on polyhedral approximation and solving a series of linear programs.