고려대학교 세종학술정보원

이전 결과로 돌아가기 검색화면

MARC

Extended abstracts fall 2013 [electronic resource] : geometrical analysis, type theory, homotopy theory and univalent foundations

자료유형

E-Book(소장)

개인저자

González, Maria del Mar.

서명 / 저자사항

Extended abstracts fall 2013 [electronic resource] : geometrical analysis, type theory, homotopy theory and univalent foundations / Maria del Mar González ... [et al.], editors.

발행사항

Cham : Springer International Publishing : Imprint: Springer, 2015.

형태사항

1 online resource (vi, 110 p.).

총서사항

Trends in mathematics,2297-0215

ISBN

9783319212845

요약

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena posses an intrinsic geometric content. The second part is about Type Theory, Homotopy Theory and Univalent Foundations. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

일반주기

Title from e-Book title page.

내용주기

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.

서지주기

Includes bibliographical references and index.

이용가능한 다른형태자료

Issued also as a book.

일반주제명

Statistics. Biomedical engineering --Mathematical models.

바로가기

URL

000		00000nam u2200205 a 4500
001		000046038420
005		20200728132714
006		m d
007		cr
008		200728s2015 sz ob 001 0 eng d
020		▼a 9783319212845
040		▼a 211009 ▼c 211009 ▼d 211009
050	4	▼a QA641-670
082	0 4	▼a 610.1/51 ▼2 23
084		▼a 610.151 ▼2 DDCK
090		▼a 610.151
245	0 0	▼a Extended abstracts fall 2013 ▼h [electronic resource] : ▼b geometrical analysis, type theory, homotopy theory and univalent foundations / ▼c Maria del Mar González ... [et al.], editors.
260		▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2015.
300		▼a 1 online resource (vi, 110 p.).
490	1	▼a Trends in mathematics, ▼x 2297-0215
500		▼a Title from e-Book title page.
504		▼a Includes bibliographical references and index.
505	0	▼a 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.
520		▼a The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena posses an intrinsic geometric content. The second part is about Type Theory, Homotopy Theory and Univalent Foundations. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.
530		▼a Issued also as a book.
538		▼a Mode of access: World Wide Web.
650	0	▼a Statistics.
650	0	▼a Biomedical engineering ▼x Mathematical models.
700	1	▼a González, Maria del Mar.
830	0	▼a Trends in mathematics.
856	4 0	▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-21284-5
945		▼a KLPA
991		▼a E-Book(소장)

소장정보

중앙도서관

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 중앙도서관/e-Book 컬렉션/	청구기호 CR 610.151	등록번호 E14028309	도서상태 대출불가(열람가능)	반납예정일	예약	서비스 M

Extended abstracts fall 2013 [electronic resource] : geometrical analysis, type theory, homotopy theory and univalent foundations

소장정보

청구기호 브라우징

관련분야 인기자료

관련분야 신착자료