大葉大學圖書館 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	516.35
書名/作者:	Extended abstracts fall 2013 : geometrical analysis, type theory, homotopy theory and univalent foundations // edited by Maria del Mar Gonzalez ... [et al.].
其他作者:	Gonzalez, Maria del Mar.
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	vi, 110 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Geometry, Algebraic.
標題:	Type theory.
標題:	Homotopy theory.
標題:	Univalent functions.
標題:	Mathematics.
標題:	Differential Geometry.
標題:	Algebraic Topology.
ISBN:	9783319212845
ISBN:	9783319212838
內容註:	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.
摘要、提要註:	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 Matematica (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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-21284-5

Extended abstracts fall 2013[electronic resource] :geometrical analysis, type theory, homotopy theory and univalent foundations /
Extended abstracts fall 2013geometrical analysis, type theory, homotopy theory and univalent foundations /[electronic resource] :edited by Maria del Mar Gonzalez ... [et al.]. - Cham :Springer International Publishing :2015. - vi, 110 p. :ill., digital ;24 cm. - Trends in mathematics. Research perspectives CRM Barcelona,2297-0215. - Trends in mathematics.Research perspectives CRM Barcelona..

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.

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 Matematica (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.

ISBN: 9783319212845

Standard No.: 10.1007/978-3-319-21284-5doiSubjects--Topical Terms:

433494
Geometry, Algebraic.

LC Class. No.: QA564

Dewey Class. No.: 516.35

Extended abstracts fall 2013[electronic resource] :geometrical analysis, type theory, homotopy theory and univalent foundations /
LDR:03792nam a2200325 a 4500 001 444265
003 DE-He213
005 20160413160059.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319212845 $q (electronic bk.)
020 $a 9783319212838 $q (paper)
024 7 $a 10.1007/978-3-319-21284-5 $2 doi
035 $a 978-3-319-21284-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA564
072 7 $a PBMP $2 bicssc
072 7 $a MAT012030 $2 bisacsh
082 0 4 $a 516.35 $2 23
090 $a QA564 $b .E96 2015
245 0 0 $a Extended abstracts fall 2013 $h [electronic resource] : $b geometrical analysis, type theory, homotopy theory and univalent foundations / $c edited by Maria del Mar Gonzalez ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Birkhauser, $c 2015.
300 $a vi, 110 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in mathematics. Research perspectives CRM Barcelona, $x 2297-0215
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 Matematica (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.
650 0 $a Geometry, Algebraic. $3 433494
650 0 $a Type theory. $3 486675
650 0 $a Homotopy theory. $3 465831
650 0 $a Univalent functions. $3 635665
650 1 4 $a Mathematics. $3 172349
650 2 4 $a Differential Geometry. $3 464898
650 2 4 $a Algebraic Topology. $3 464924
700 1 $a Gonzalez, Maria del Mar. $3 635663
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Trends in mathematics. $p Research perspectives CRM Barcelona. $3 635664
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-21284-5
950 $a Mathematics and Statistics (Springer-11649)