Extended abstracts fall 2013 = geome...
Gonzalez, Maria del Mar.

FindBook      Google Book      Amazon      博客來     
  • Extended abstracts fall 2013 = geometrical analysis, type theory, homotopy theory and univalent foundations /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Extended abstracts fall 2013/ edited by Maria del Mar Gonzalez ... [et al.].
    其他題名: geometrical analysis, type theory, homotopy theory and univalent foundations /
    其他作者: Gonzalez, Maria del Mar.
    出版者: Cham :Springer International Publishing : : 2015.,
    面頁冊數: vi, 110 p. :ill., digital ;24 cm.
    內容註: Part I: Conference on Geometrical Analysis -- Foreword -- A Positive Mass Theorem in Three Dimensional Cauchy-Riemann Geometry -- On the Rigidity of Gradient Ricci Solitons -- Geometric Structures Modeled on Affine Hypersurfaces and Generalizations of the Einstein-Weyl and Affine Sphere Equations -- Submanifold Conformal Invariants and a Boundary Yamabe Problem -- Variation of the Total Q-Prime Curvature in CR Geometry -- Conformal Invariants from Nullspaces of Conformally Invariant Operators -- Rigidity of Bach-Flat Manifolds -- Uniformizing Surfaces with Conical Singularities -- Recent Results and Open Problems on Conformal Metrics on Rn with Constant Q-Curvature -- Isoperimetric Inequalities for Complete Proper Minimal Submanifolds in Hyperbolic Space -- Total Curvature of Complete Surfaces in Hyperbolic Space -- Constant Scalar Curvature Metrics on Hirzebruch Surfaces -- Isoperimetric Inequalities for Extremal Sobolev Functions -- Part II: Type Theory, Homotopy Theory and Univalent Foundations -- Foreword -- Univalent Categories and the Rezk Completion -- Covering Spaces in Homotopy Type Theory -- Towards a Topological Model of Homotopy Type Theory -- Made-to-Order Weak Factorization Systems -- A Descent Property for the Univalent Foundations -- Classical Field Theory via Cohesive Homotopy Types -- How Intensional is Homotopy Type Theory.
    Contained By: Springer eBooks
    標題: Geometry, Algebraic. -
    電子資源: http://dx.doi.org/10.1007/978-3-319-21284-5
    ISBN: 9783319212845
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9275091 電子資源 11.線上閱覽_V 電子書 EB QA564 .E96 2015 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入