<--- 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.
![Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞](https://www.pdfsearch.io/img/2b49b404aec51d419df6d7f045a73685.jpg "Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞")
