<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-01-22 19:21:52Circuit complexity NC Mathematics Theoretical computer science Numerical software Lemmas Numerical linear algebra |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-01-22 19:21:52Circuit complexity NC Mathematics Theoretical computer science Numerical software Lemmas Numerical linear algebra |
Add to Reading List |
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.![13 Numerical Linear Algebra We consider here the numerical side of linear algebra, the symbolic side being described in Chapter 8. The linear algebra numerical analysis and methods are discussed in [TBI97, Sch02]. The b](https://www.pdfsearch.io/img/f034dcadbc3c813c3f924be8d663a81e.jpg "13 Numerical Linear Algebra We consider here the numerical side of linear algebra, the symbolic side being described in Chapter 8. The linear algebra numerical analysis and methods are discussed in [TBI97, Sch02]. The b")
![NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS Numer. Linear Algebra Appl. 2001; 00:1–6 Prepared using nlaauth.cls [Version: v1.0] Preconditioning KKT systems](https://www.pdfsearch.io/img/573d39c5db9b2bdf4425d7dbdaa322cb.jpg "NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS Numer. Linear Algebra Appl. 2001; 00:1–6 Prepared using nlaauth.cls [Version: v1.0] Preconditioning KKT systems")
