Back to Results
First PageMeta Content
Circuit complexity / NC / Mathematics / Theoretical computer science / Numerical software / Lemmas / Numerical linear algebra


Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.
Add to Reading List

Document Date: 2016-01-22 19:21:52


Open Document

File Size: 344,84 KB

Share Result on Facebook
UPDATE