Extended abstracts fall 2013 geometrical analysis, type theory, homotopy theory and univalent foundations /

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

Full description

Other Authors: Del Mar González, Maria,, Yang, Paul C.,, Gambino, Nicola, 1975-, Kock, Joachim, 1967-, SpringerLink (Online service)
Format: eBook
Language: English
Published: Cham : Birkhäuser, 2015.
Physical Description: 1 online resource.
Series: Trends in mathematics. Research perspectives CRM Barcelona.
Subjects:
LEADER 06290cam a2201105 i 4500
001 929448507
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 151116s2015 sz ob 001 0 eng d
015 |a GBB8L7583  |2 bnb 
016 7 |a 019128716  |2 Uk 
019 |a 930021782  |a 936863219  |a 985035377  |a 1005808667  |a 1011852309 
020 |a 9783319212845  |q (electronic bk.) 
020 |a 3319212842  |q (electronic bk.) 
020 |z 9783319212838 
020 |z 3319212834 
024 7 |a 10.1007/978-3-319-21284-5  |2 doi 
035 |a (OCoLC)929448507  |z (OCoLC)930021782  |z (OCoLC)936863219  |z (OCoLC)985035377  |z (OCoLC)1005808667  |z (OCoLC)1011852309 
037 |a 853216  |b MIL 
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d N$T  |d OCLCO  |d YDXCP  |d CDX  |d OCLCF  |d NUI  |d IDEBK  |d COO  |d ORU  |d GW5XE  |d EBLCP  |d SNK  |d OHI  |d GUA  |d IDB  |d IAS  |d IAO  |d JBG  |d IAD  |d ICN  |d SOI  |d ILO  |d OL$  |d VT2  |d UAB  |d Z5A  |d FIE  |d OCLCQ  |d ESU  |d IOG  |d U3W  |d MERUC  |d OCLCQ  |d CEF  |d OCLCQ  |d OCLCO  |d OCLCQ  |d WYU  |d UKMGB  |d LEAUB  |d UKAHL  |d OCLCQ  |d AJS  |d OCLCO  |d OCLCQ  |d AUD  |d OCLCQ  |d OCLCO  |d OCLCL  |d OCLCQ 
049 |a COM6 
050 4 |a QA564 
072 7 |a MAT  |x 012000  |2 bisacsh 
072 7 |a PBMP  |2 bicssc 
082 0 4 |a 516.35  |2 23 
245 0 0 |a Extended abstracts fall 2013 :  |b geometrical analysis, type theory, homotopy theory and univalent foundations /  |c Maria del Mar González, Paul C. Yang, Nicola Gambino, Joachim Kock, editors. 
264 1 |a Cham :  |b Birkhäuser,  |c 2015. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
347 |a text file  |b PDF  |2 rda. 
490 1 |a Trends in mathematics. Research perspectives CRM Barcelona. 
588 0 |a Online resource; title from PDF title page (EBSCO, viewed November 18, 2015). 
505 0 |a Part I, geometrical analysis / Maria del Mar González, Paul C. Yang, editors -- Part II, type theory, homotophy theory, and univalent foundations / Nicola Gambino, Joachim Kock, editors. 
504 |a Includes bibliographical references and index. 
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. 
650 0 |a Geometry, Algebraic. 
650 0 |a Type theory. 
650 0 |a Homotopy theory. 
650 0 |a Univalent functions. 
650 6 |a Géométrie algébrique. 
650 6 |a Théorie des types. 
650 6 |a Homotopie. 
650 6 |a Fonctions univalentes. 
650 7 |a Algebraic topology.  |2 bicssc. 
650 7 |a Differential & Riemannian geometry.  |2 bicssc. 
650 7 |a MATHEMATICS  |x Geometry  |x General.  |2 bisacsh. 
650 7 |a Geometry, Algebraic.  |2 fast. 
650 7 |a Homotopy theory.  |2 fast. 
650 7 |a Type theory.  |2 fast. 
650 7 |a Univalent functions.  |2 fast. 
700 1 |a Del Mar González, Maria,  |e editor. 
700 1 |a Yang, Paul C.,  |e editor. 
700 1 |a Gambino, Nicola,  |d 1975-  |1 https://id.oclc.org/worldcat/entity/E39PCjtKfcjM7wbtqfWDpMgPHC,  |e editor. 
700 1 |a Kock, Joachim,  |d 1967-  |1 https://id.oclc.org/worldcat/entity/E39PCjtdFGhXBr9tCbvfTwpc6C,  |e editor. 
710 2 |a SpringerLink (Online service) 
776 0 8 |i Printed edition:  |z 9783319212838. 
830 0 |a Trends in mathematics.  |p Research perspectives CRM Barcelona. 
907 |a .b52873936  |b multi  |c -  |d 161107  |e 240701 
998 |a (3)cue  |a cu  |b 240404  |c m  |d z   |e -  |f eng  |g sz   |h 0  |i 2 
948 |a MARCIVE Overnight, in 2024.04 
948 |a MARCIVE Overnight, in 2023.01 
948 |a MARCIVE Over, 07/2021 
948 |a MARCIVE Comp, 12/2020 
948 |a MARCIVE Comp, 2019.12 
948 |a MARCIVE Q2, 2018 
948 |a MARCIVE Comp, 2018.05 
948 |a MARCIVE Comp, 2017.10 
948 |a MARCIVE August, 2017 
948 |a MARCIVE Aug 5, 2017 
933 |a Marcive found issue: "700 1   |a Del Mar González, Maria,  |e editor." 
994 |a 92  |b COM 
995 |a Loaded with m2btab.ltiac in 2024.04 
995 |a Loaded with m2btab.elec in 2024.04 
995 |a Loaded with m2btab.ltiac in 2023.01 
995 |a Loaded with m2btab.ltiac in 2021.07 
995 |a Loaded with m2btab.elec in 2021.06 
995 |a Loaded with m2btab.ltiac 2020.12 
995 |a Loaded with m2btab.ltiac in 2019.12 
995 |a Loaded with m2btab.ltiac in 2018.08 
995 |a Loaded with m2btab.ltiac in 2018.06 
995 0 0 |a OCLC offline update by CMU and loaded with m2btab.elec in 2018.04 
995 |a Loaded with m2btab.ltiac in 2017.10 
995 |a Loaded with m2btab.ltiac in 2017.09 
995 |a Loaded with m2btab.elec in 2016 
995 |a Loaded with m2btab.elec in 2016 
995 |a OCLC offline update by CMU 
995 |a Loaded with m2btab.auth in 2021.07 
995 |a Loaded with m2btab.auth in 2024.06 
999 |e z 
999 |a cue 
989 |d cueme  |e  - -   |f  - -   |g -   |h 0  |i 0  |j 200  |k 240404  |l $0.00  |m    |n  - -   |o -  |p 0  |q 0  |t 0  |x 0  |w SpringerLink  |1 .i151447226  |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-319-21284-5  |3 SpringerLink  |z Click here for access