Parallel Verified Linear System Solver for Uncertain Input Data | IEEE Conference Publication | IEEE Xplore