First Page | Document Content | |
---|---|---|
Date: 2007-12-01 03:56:46Mathematics Ordinary differential equations Spectral theory Mathematical analysis Spectral theory of ordinary differential equations Curry–Howard correspondence Symbol De Bruijn index Valuation | Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg KiselyovAdd to Reading ListSource URL: okmij.orgDownload Document from Source WebsiteFile Size: 210,32 KBShare Document on Facebook |
Orthogonal Polynomials and Spectral Algorithms Nisheeth K. Vishnoi 1.0 d=0DocID: 1uxDb - View Document | |
MODULE AND FILTERED KNOT HOMOLOGY THEORIES JEFF HICKS Abstract. We provide a new way to define Bar-Natan’s F2 [u] knot homology theory. The u torsion of BN •,• is shown to explicitly give Turner’s spectral sequenDocID: 1tmp7 - View Document | |
Lecture Notes on Expansion, Sparsest Cut, and Spectral Graph Theory Luca Trevisan University of California, BerkeleyDocID: 1t8rW - View Document | |
Spectral Graph Theory and its Applications Lecture 10 Expander Codes Lecturer: Daniel A. SpielmanDocID: 1sypf - View Document | |
Spectral Graph Theory Lecture 15 Properties of Expander Graphs Daniel A. SpielmanDocID: 1sweE - View Document |