×

Found 653 Documents (Results 1–100)

Path homotopy invariants and their application to optimal trajectory planning. (English) Zbl 1497.55004

IMA conference on mathematics of robotics, Oxford, UK, September 9–11, 2015. Southend-on-Sea: Institute of Mathematics and its Applications. Article No. 2, 8 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Univalent foundations of mathematics and paraconsistency. (English) Zbl 1423.03043

Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 285-294 (2015).
MSC:  03B15 03B53 03A05 03B62
PDFBibTeX XMLCite
Full Text: DOI

A cubical approach to synthetic homotopy theory. (English) Zbl 1395.55019

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 92-103 (2015).
MSC:  55U35 03B15 03B35 68T15
PDFBibTeX XMLCite
Full Text: DOI

On computability and triviality of well groups. (English) Zbl 1386.65144

Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 842-856 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Functions out of higher truncations. (English) Zbl 1373.03011

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 359-373 (2015).
MSC:  03B15 03G30 55U40 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Basic rational string topology. (English) Zbl 1371.55001

Latschev, Janko (ed.) et al., Free loop spaces in geometry and topology. Including the monograph Symplectic cohomology and Viterbo’s theorem by Mohammed Abouzaid. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-153-8/hbk; 978-3-03719-653-3/ebook). IRMA Lectures in Mathematics and Theoretical Physics 24, 223-242 (2015).
MSC:  55-02 55P50 55P62
PDFBibTeX XMLCite

Rational homotopy – Sullivan models. (English) Zbl 1373.55001

Latschev, Janko (ed.) et al., Free loop spaces in geometry and topology. Including the monograph Symplectic cohomology and Viterbo’s theorem by Mohammed Abouzaid. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-153-8/hbk; 978-3-03719-653-3/ebook). IRMA Lectures in Mathematics and Theoretical Physics 24, 111-136 (2015).
PDFBibTeX XMLCite
Full Text: arXiv

Nominal presentation of cubical sets models of type theory. (English) Zbl 1434.03044

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 202-220 (2015).
MSC:  03B38 03B70 18F20
PDFBibTeX XMLCite
Full Text: DOI

Wild \(\omega\)-categories for the homotopy hypothesis in type theory. (English) Zbl 1433.03031

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 226-240 (2015).
PDFBibTeX XMLCite
Full Text: DOI

The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation. (English) Zbl 1433.03030

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 153-164 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Non-wellfounded trees in homotopy type theory. (English) Zbl 1433.03027

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 17-30 (2015).
MSC:  03B38 03B35 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homomorphism reconfiguration via homotopy. (English) Zbl 1356.68111

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 730-742 (2015).
MSC:  68Q25 05C15 05E45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Aspects of Lusternik-Schnirelmann category. (English) Zbl 1356.55001

Mladenov, Ivaïlo M. (ed.) et al., Proceedings of the 16th international conference on geometry, integrability and quantization, Sts. Constantine and Elena (near Varna), Bulgaria, June 6–11, 2014. Sofia: Avangard Prima. Geometry, Integrability and Quantization, 13-35 (2015).
MSC:  55-02 55M30 55P99
PDFBibTeX XMLCite
Full Text: DOI

Eisenstein classes, elliptic Soulé elements and the \(\ell\)-adic elliptic polylogarithm. (English) Zbl 1353.14029

Coates, John (ed.) et al., The Bloch-Kato conjecture for the Riemann zeta function. Proceedings of the workshop ’The Bloch-Kato conjecture for the Riemann zeta function at the odd positive integers’, Pune, India, July 1012. Cambridge: Cambridge University Press (ISBN 978-1-107-49296-7/pbk). 239-296 (2015).
PDFBibTeX XMLCite
Full Text: arXiv

The comparison theorem for the Soulé-Deligne classes. (English) Zbl 1353.14028

Coates, John (ed.) et al., The Bloch-Kato conjecture for the Riemann zeta function. Proceedings of the workshop ’The Bloch-Kato conjecture for the Riemann zeta function at the odd positive integers’, Pune, India, July 1012. Cambridge: Cambridge University Press (ISBN 978-1-107-49296-7/pbk). 210-238 (2015).
MSC:  14F42 11R70 19F27
PDFBibTeX XMLCite

Motivic polylogarithm and related classes. (English) Zbl 1353.14026

Coates, John (ed.) et al., The Bloch-Kato conjecture for the Riemann zeta function. Proceedings of the workshop ’The Bloch-Kato conjecture for the Riemann zeta function at the odd positive integers’, Pune, India, July 1012. Cambridge: Cambridge University Press (ISBN 978-1-107-49296-7/pbk). 193-209 (2015).
PDFBibTeX XMLCite

The norm residue theorem and the Quillen-Lichtenbaum conjecture. (English) Zbl 1353.14030

Coates, John (ed.) et al., The Bloch-Kato conjecture for the Riemann zeta function. Proceedings of the workshop ’The Bloch-Kato conjecture for the Riemann zeta function at the odd positive integers’, Pune, India, July 1012. Cambridge: Cambridge University Press (ISBN 978-1-107-49296-7/pbk). 97-120 (2015).
MSC:  14F42 19E15
PDFBibTeX XMLCite

Higher inductive types as homotopy-initial algebras. (English) Zbl 1345.03017

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 31-42 (2015).
MSC:  03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Comparison of motivic and simplicial operations in mod-\(l\)-motivic and étale cohomology. (English) Zbl 1346.14048

Álvarez-Cónsul, Luis (ed.) et al., Feynman amplitudes, periods and motives. International research workshop on periods and motives – a modern perspective on renormalization, Instituto de Ciencias Matemáticas, Madrid, Spain, July 2–6, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2247-9/pbk; 978-1-4704-2727-6/ebook). Contemporary Mathematics 648, 29-55 (2015).
MSC:  14F42 14F20
PDFBibTeX XMLCite
Full Text: DOI Link

Relating equivariant and motivic cohomology via analytic currents. (English) Zbl 1346.14052

Li, Weiping (ed.) et al., Geometry and topology of submanifolds and currents. Selected papers mainly from the 2013 Midwest geometry conference (MGC XIX), Oklahoma State University, Stillwater, OK, USA, October 19, 2013, and partly from the 2012 Midwest geometry conference (MGC XVIII), University of Oklahoma, Norman, OK, USA, May 12–13, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1556-3/pbk). Contemporary Mathematics 646, 19-40 (2015).
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