Toward Mechanical Verification of Properties of Roundoff Error Propagation

Webb Miller

Browse the full STOC paper archive.