Parallel Verified Linear System Solver for Uncertain Input Data.

Mariana Luderitz Kolberg, Mrcio Dorn, Luiz Gustavo Fernandes, Gerd Bohlender

Browse the full SBAC-PAD paper archive.