×

Found 630 Documents (Results 1–100)

Quantum gauge field theory in cohesive homotopy type theory. (English) Zbl 1464.81043

Duncan, Ross (ed.) et al., Proceedings of the 9th workshop on quantum physics and logic, QPL’12, Brussels, Belgium, October 10–12, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 158, 109-126 (2014).
MSC:  81T13 03B38 55U35
PDFBibTeX XMLCite
Full Text: arXiv Link

Eilenberg-MacLane spaces in homotopy type theory. (English) Zbl 1395.68249

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 66, 9 p. (2014).
MSC:  68T15 03B15 55P20
PDFBibTeX XMLCite
Full Text: DOI

Symmetry in concurrent games. (English) Zbl 1395.68180

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 28, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

The Morse theory of Čech and Delaunay filtrations. (English) Zbl 1395.68287

Proceedings of the 30th annual symposium on computational geometry, SoCG ’14, Kyoto, Japan, June 8–11, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2594-3). 484-490 (2014).
MSC:  68U05 57Q05 57Q10
PDFBibTeX XMLCite
Full Text: DOI

The topology of positive scalar curvature. (English) Zbl 1373.53053

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 1285-1307 (2014).
PDFBibTeX XMLCite
Full Text: arXiv

On the non-existence of elements of Kervaire invariant one. (English) Zbl 1373.55023

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 1219-1243 (2014).
MSC:  55Q45 57R60
PDFBibTeX XMLCite
Full Text: arXiv

Isogenies, power operations, and homotopy theory. (English) Zbl 1373.55026

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 1125-1145 (2014).
MSC:  55S25 55N34 55P43
PDFBibTeX XMLCite

A guide to (étale) motivic sheaves. (English) Zbl 1373.14009

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 1101-1124 (2014).
MSC:  14C25 14F05 14F20 14F42 18F20
PDFBibTeX XMLCite

Hopf algebras and homology of loop suspension spaces. (English) Zbl 1360.55017

Buchstaber, V. M. (ed.) et al., Topology, geometry, integrable systems and mathematical physics. Novikov’s seminar: 2012–2014. Selected papers of the seminar, Moscow, Russia, 2012–2014. Dedicated to S. P. Novikov on the occasion of his 75th birthday. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1871-7/hbk). Translations. Series 2. American Mathematical Society 234. Advances in the Mathematical Sciences 67, 75-92 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

The Bloch-Kato conjecture (after M. Rost and V. Voevodsky). (La conjecture de Bloch-Kato (d’après M. Rost et V. Voevodsky).) (French) Zbl 1366.19001

Séminaire Bourbaki. Volume 2012/2013. Exposés 1059–1073. Avec table par noms d’auteurs de 1948/49 à 2012/13. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-785-8/pbk). Astérisque 361, 421-463, Exp. No. 1073 (2014).
PDFBibTeX XMLCite

Prony systems via decimation and homotopy continuation. (English) Zbl 1345.65028

Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 59-60 (2014).
MSC:  65H04 65H20
PDFBibTeX XMLCite
Full Text: DOI

Pattern matching without K. (English) Zbl 1345.68045

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 257-268 (2014).
MSC:  68N18 03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI Link

Homotopical patch theory. (English) Zbl 1345.68093

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 243-256 (2014).
MSC:  68N30 03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI

Lectures on Artin groups and the \(K(\pi,1)\) conjecture. (English) Zbl 1341.20034

Narasimha Sastry, N.S. (ed.), Groups of exceptional type, Coxeter groups and related geometries. Invited articles based on the presentations at the international conference on “Groups and geometries”, Bangalore, India, December 10–21, 2012. New Delhi: Springer (ISBN 978-81-322-1813-5/hbk; 978-81-322-1814-2/ebook). Springer Proceedings in Mathematics & Statistics 82, 239-257 (2014).
MSC:  20F36 55R35 57M07 57M25 55P20 14N20
PDFBibTeX XMLCite
Full Text: DOI

Canonicity of weak \(\omega\)-groupoid laws using parametricity theory. (English) Zbl 1337.03016

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 229-244, electronic only (2014).
MSC:  03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI

Real root isolation of polynomial equations based on hybrid computation. (English) Zbl 1336.65080

Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 375-396 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Numerical solution of fuzzy differential equations and its applications. (English) Zbl 1335.65058

Chakraverty, S. (ed.), Mathematics of uncertainty modeling in the analysis of engineering and science problems. Hershey, PA: Information Science Reference (ISBN 978-1-4666-4991-0/hbk; 978-1-4666-4992-7/ebook). Advances in Computational Intelligence and Robotics (ACIR) Book Series, 127-149 (2014).
PDFBibTeX XMLCite

Constructing homotopy equivalences of chain complexes of free \({\mathbb Z}G\)-modules. (English) Zbl 1333.18021

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 279-296 (2014).
MSC:  18G35 55P10 68W30
PDFBibTeX XMLCite
Full Text: arXiv

Periodicity, compositions and EHP sequences. (English) Zbl 1337.55012

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 189-204 (2014).
MSC:  55Q15 55Q40 55Q51
PDFBibTeX XMLCite

Absolutely homotopy-Cartesian squares. (English) Zbl 1332.55006

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 157-164 (2014).
MSC:  55P65
PDFBibTeX XMLCite
Full Text: arXiv

Covers of groups. (English) Zbl 1343.20052

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 109-131 (2014).
PDFBibTeX XMLCite

Homotopy colimits of model categories. (English) Zbl 1335.55017

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 31-37 (2014).
MSC:  55U40 55U35 18G55 18G30 18D20
PDFBibTeX XMLCite
Full Text: arXiv

Rational equivariant rigidity. (English) Zbl 1369.55008

Ausoni, Christian (ed.) et al., An Alpine expedition through algebraic topology. Proceedings of the fourth Arolla conference on algebraic topology, Arolla, Switzerland, August 20-25, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9145-2/pbk; 978-1-4704-1685-0/ebook). Contemporary Mathematics 617, 13-30 (2014).
MSC:  55P42 55P91
PDFBibTeX XMLCite
Full Text: arXiv

Introduction. (English) Zbl 1328.55002

Douglas, Christopher L. (ed.) et al., Topological modular forms. Based on the Talbot workshop, North Conway, NH, USA, March 25–31, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1884-7/hbk). Mathematical Surveys and Monographs 201, xi-xxxi (2014).
PDFBibTeX XMLCite

From elliptic curves to homotopy theory. (English) Zbl 1328.55013

Douglas, Christopher L. (ed.) et al., Topological modular forms. Based on the Talbot workshop, North Conway, NH, USA, March 25–31, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1884-7/hbk). Mathematical Surveys and Monographs 201, 261-285 (2014).
MSC:  55P42 14G15 55T15
PDFBibTeX XMLCite
Full Text: DOI

The homotopy groups of \(tmf\) and of its localizations. (English) Zbl 1328.55015

Douglas, Christopher L. (ed.) et al., Topological modular forms. Based on the Talbot workshop, North Conway, NH, USA, March 25–31, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1884-7/hbk). Mathematical Surveys and Monographs 201, 189-205 (2014).
MSC:  55P43 55P42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software