LEADER 02565nam 2200553 450 001 9910817934703321 005 20211029210658.0 010 $a1-4704-4750-9 035 $a(CKB)4100000006516240 035 $a(MiAaPQ)EBC5501873 035 $a(RPAM)20661671 035 $a(PPN)230400035 035 $a(EXLCZ)994100000006516240 100 $a20180919d2018 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSzego? kernel asymptotics for high power of CR line bundles and Kodaira embedding theorems on CR manifolds /$fChin-Yu Hsiao 210 1$aProvidence, RI :$cAmerican Mathematical Society,$d[2018] 210 4$dİ2018 215 $a1 online resource (154 pages) 225 1 $aMemoirs of the American Mathematical Society ;$vNumber 1217 311 $a1-4704-4101-2 320 $aIncludes bibliographical references and index. 327 $a1. Introduction and statement of the main results -- 2. More properties of the phase [capital letter Pi](x, y, s) -- 3. Preliminaries -- 4. Semi-classical [box](q)b,k and the characteristic manifold for [box](q)b,k -- 5. The heat equation for the local operatot [box](q)s -- 6. Semi-classical Hodge decomposition theorems for [box](q)s,k in some non-degenerate part of E -- 7. Szegi?o kernel asymptotic for lower energy forms -- 8. Almost Kodaira embedding Theorems on CR manifolds -- 9. Asymptotic expension of the Szegi?o kernel -- 10. Szegi?o kernel asymptotics and Kodairan embedding theorems on CR manifolds with transversal CR, S1 actions -- 11. Szegi?o kernel asymptotics on some non-compact CR manifolds -- 12. The proof of Theorem 5.28. 410 0$aMemoirs of the American Mathematical Society ;$vNumber 1217. 606 $aEmbedding theorems 606 $aCR submanifolds 606 $aManifolds (Mathematics) 606 $aEmbeddings (Mathematics) 606 $aKernel functions 606 $aAsymptotic expansions 615 0$aEmbedding theorems. 615 0$aCR submanifolds. 615 0$aManifolds (Mathematics) 615 0$aEmbeddings (Mathematics) 615 0$aKernel functions. 615 0$aAsymptotic expansions. 676 $a516.3/6 700 $aHsiao$b Chin-Yu$01620617 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910817934703321 996 $aSzego? kernel asymptotics for high power of CR line bundles and Kodaira embedding theorems on CR manifolds$93953482 997 $aUNINA LEADER 03341nam 22006735 450 001 9910349303903321 005 20251225190503.0 010 $a3-030-29026-3 024 7 $a10.1007/978-3-030-29026-9 035 $a(CKB)4100000009076168 035 $a(DE-He213)978-3-030-29026-9 035 $a(MiAaPQ)EBC5925419 035 $a(PPN)242823777 035 $a(EXLCZ)994100000009076168 100 $a20190813d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods $e28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /$fedited by Serenella Cerrito, Andrei Popescu 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 477 p. 2851 illus., 28 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11714 311 08$a3-030-29025-5 330 $aThis book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11714 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aSoftware engineering 606 $aElectronic digital computers$xEvaluation 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aMathematical Applications in Computer Science 606 $aSoftware Engineering 606 $aSystem Performance and Evaluation 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aSoftware engineering. 615 0$aElectronic digital computers$xEvaluation. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aMathematical Applications in Computer Science. 615 24$aSoftware Engineering. 615 24$aSystem Performance and Evaluation. 676 $a511.3 676 $a511.36028563 702 $aCerrito$b Serenella$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPopescu$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349303903321 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460 997 $aUNINA