<--- Back to Details
First PageDocument Content
Functional analysis / Operator theory / Computability theory / Representation theory of Lie groups / Mathematics / Spectral theory / Spectral theory of ordinary differential equations / Adjoint functors
Date: 2014-04-14 11:22:28
Functional analysis
Operator theory
Computability theory
Representation theory of Lie groups
Mathematics
Spectral theory
Spectral theory of ordinary differential equations
Adjoint functors

Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria

Add to Reading List

Source URL: www.cri.ensmp.fr

Download Document from Source Website

File Size: 219,42 KB

Share Document on Facebook

Similar Documents

Orthogonal Polynomials and Spectral Algorithms Nisheeth K. Vishnoi 1.0  d=0

Orthogonal Polynomials and Spectral Algorithms Nisheeth K. Vishnoi 1.0 d=0

DocID: 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 sequen

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 sequen

DocID: 1tmp7 - View Document

Lecture Notes on Expansion, Sparsest Cut, and Spectral Graph Theory Luca Trevisan University of California, Berkeley

Lecture Notes on Expansion, Sparsest Cut, and Spectral Graph Theory Luca Trevisan University of California, Berkeley

DocID: 1t8rW - View Document

Spectral Graph Theory and its Applications  Lecture 10 Expander Codes Lecturer: Daniel A. Spielman

Spectral Graph Theory and its Applications Lecture 10 Expander Codes Lecturer: Daniel A. Spielman

DocID: 1sypf - View Document

Spectral Graph Theory  Lecture 15 Properties of Expander Graphs Daniel A. Spielman

Spectral Graph Theory Lecture 15 Properties of Expander Graphs Daniel A. Spielman

DocID: 1sweE - View Document